<> <> <> <> DIRECTORY RefTab; RefTabBackdoor: CEDAR DEFINITIONS = BEGIN OPEN RefTab; UnmonitoredFetch: PROC [x: Ref, key: Key] RETURNS [found: BOOL, val: Val]; <> <> UnmonitoredPairs: PROC [x: Ref, action: EachPairAction] RETURNS [BOOL]; <> <> END.