CocoR/Test1/tests/t_bad_procedure.mod

MODULE BadProc;
VAR x : INTEGER;
PROCEDURE Foo(a : INTEGER) : INTEGER;
BEGIN x := a END Foo;
BEGIN x := 1
END BadProc.