DEF x : PTR TO object
-> ...
IF object <> NIL
  -> ...
ENDIF