M2compiler-V3/docs/gaps/gap11_bare_proc_stmt.mod

MODULE Gap11BareProcStmt;
(* NOT standard Modula-2: a bare procedure *variable* as a statement (an
   implicit zero-argument call).  Class: gm2-ext.
   Corpus: tinyproc2, tinyproc4.
   V3: invalid call. *)
VAR p : PROC;
BEGIN p END Gap11BareProcStmt.