<> <> DIRECTORY SafeStorage USING[Type]; SafeStoragePrivate: DEFINITIONS = BEGIN NewObject: PROC[type: SafeStorage.Type, size: CARDINAL, zone: ZONE _ NIL] RETURNS[REF ANY]; -- CLEARED ValidateRef: PROC [ref: REF ANY]; <> InvalidRef: ERROR[ref: REF ANY]; END.