VAR foo: REF INTEGER := NIL;