LIBRARY_CONSTANTS
null:ANYTYPE:=null;
emptyString:String :="";
maxInt: Integer:=65535;
emptySet: setOf ANYTYPE :=emptySet;

