PROCEDURE Foo(n: INTEGER) =