Listing: 1 MODULE BadProc; 2 VAR x : INTEGER; 3 PROCEDURE Foo(a : INTEGER) : INTEGER; ***** ^ ':' expected 4 BEGIN x := a END Foo; 5 BEGIN x := 1 6 END BadProc. 1 error