<> <> DIRECTORY VM USING [IOErrorType, PageNumber]; VMExtras: CEDAR DEFINITIONS = BEGIN LaundryError: TYPE = RECORD [ errorType: VM.IOErrorType, -- error classification page: VM.PageNumber -- full GName of the remote file operated upon ]; <> ForceCleaning: PROC; <> LastLaundryError: PROC RETURNS [LaundryError]; END.