(* Generated by SimpleM backend *)
MODULE BadProc;
VAR
  x : INTEGER;
  PROCEDURE : Foo;

END Foo.