M2compiler-V3/compiler/tests/t_bareproc.mod

MODULE TBareProc;
(* gm2 ext: a bare procedure *value* as a statement is an implicit
   zero-argument call (PROC is the PIM procedure-type keyword). *)
VAR ExitCode : INTEGER;

PROCEDURE hit;
BEGIN ExitCode := 42 END hit;

VAR p : PROC;
BEGIN
  ExitCode := 0;
  p := hit;
  p
END TBareProc.