You have no import / export instructions. minimum would be (interface/implementation combined in a single file)
program ModDemo3 (Output);
import DemoMod3;
begin WriteLn ('program writeln'); xtra; end.
module DemoMod3;
export DemoMod3 = all; procedure xtra; end; {interface }
procedure xtra ; begin writeln('from library'); end; end.