freepascal.compiler/tests/tbs0243.pp

program simpletest;

var i : longint;

  function _next : longint;
    begin
      inc(i);
      _next:=i;
    end;

  procedure test(a,b : longint);
    begin
      Writeln('first arg is ',a);
      Writeln('second arg is ',b);
    end;

  procedure check(a,b : longint);
    begin
      if a>b then
        begin
           Writeln('FPC does not follow PASCAL rules for parameter passing');
           Halt(1);
        end;
    end;

begin
{ this could give 
  first arg is 1
  second arg is 2 
  but FPC parses the second arg before the first one ! }
test(_next,_next);
writeln('third arg is ',_next);
writeln('fourth arg is ',_next,' fifth arg is ',_next);
check(_next,_next);
end.