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.