MODULE PFunc;
VAR ExitCode : INTEGER;
PROCEDURE Double(x : INTEGER) : INTEGER;
BEGIN
  RETURN x * 2
END Double;
BEGIN
  ExitCode := Double(10) + Double(11)
END PFunc.