MODULE Null;
IMPORT
  Out;
TYPE
  Object = POINTER TO ObjectDesc;
  ObjectDesc = RECORD
  END;

VAR
  o: Object;  (* default initialization to NIL *)

BEGIN
  IF o = NIL THEN Out.String("o is NIL"); Out.Ln END
END Null.