<> <<>> RecordingLock: CEDAR DEFINITIONS = BEGIN GetLock: PROC RETURNS [success: BOOL_FALSE] ; ReleaseLock: PROC ; END.