<<>> <> <> <> <<>> <> <> <<>> CirioThings: CEDAR DEFINITIONS ~ { <> CallDebugger: PROCEDURE [key: CARD32] RETURNS []; <> <> XRDBRequest: TYPE ~ MACHINE DEPENDENT { none (0), noHandler (1), handler (2), badProceed (3), break (4), client (5), (LAST[CARD32]) }; XRDBReply: TYPE ~ MACHINE DEPENDENT { abort (LOOPHOLE[-3]), exit (LOOPHOLE[-2]), proceed (LOOPHOLE[-1]), (LAST[CARD32]) }; }.