PROCEDURE Foo(VAR n: INTEGER) =