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