freepascal.compiler/tests/test/tprocext.pp

uses uprocext1;

begin
  err:=true;
  proc1;
  if err then
    halt(1);
end.