<> <> <> <> <<>> DIRECTORY PrincOpsUtils USING [BITAND], Printer USING [ReadPrinter], Rope USING [ROPE]; Diablo: CEDAR DEFINITIONS IMPORTS PrincOpsUtils, Printer = BEGIN Error: ERROR [reason: Rope.ROPE]; PutChar: SAFE PROC [char: CHAR]; ReadyBit: WORD = 100000B; Ready: SAFE PROC RETURNS [BOOLEAN] = TRUSTED INLINE { RETURN [PrincOpsUtils.BITAND[Printer.ReadPrinter[], ReadyBit] = 0] }; FaultBit: WORD = 4000B; Fault: SAFE PROC RETURNS [BOOLEAN] = TRUSTED INLINE { RETURN [PrincOpsUtils.BITAND[Printer.ReadPrinter[], FaultBit] = 1] }; END.