<> <> <> <> <<>> <> <<>> DIRECTORY XlKeyBut; XlKeyButPrivate: CEDAR DEFINITIONS = BEGIN SetToWire: PROC [k: XlKeyBut.SetOfKeyButMask] RETURNS [CARD16] = INLINE { x: MSBIT WORD32 MACHINE DEPENDENT RECORD [ unused (0: 0..15): CARD16, use (0: 16..31): CARD16 ] = LOOPHOLE[k]; RETURN [x.use]; }; SetFromWire: PROC [k: CARD16] RETURNS [s: XlKeyBut.SetOfKeyButMask] = INLINE { long: CARD32 = k; RETURN [LOOPHOLE[long]]; }; END.