M2compiler-V3/docs/gaps/gap11_bare_proc_stmt.mod

MODULE Gap11BareProcStmt;
(* GAP gap11-bare-proc-stmt: a bare procedure value as a statement (an
   implicit zero-arg call).  Corpus: tinyproc2, tinyproc4.
   EXPECT: invalid call (233). *)
VAR p : PROC;
BEGIN p END Gap11BareProcStmt.