<> <> <> <> <<>> <> <<>> DIRECTORY IO, Rope; SoftcardMonitor: CEDAR DEFINITIONS ~ BEGIN State: TYPE ~ REF StateRec; StateRec: TYPE ~ RECORD[ here: CARD32 _ 1000h ]; Arguments: TYPE ~ REF ArgumentsRec; ArgumentsRec: TYPE ~ RECORD [SEQUENCE argc: NAT OF Rope.ROPE]; CommandProc: TYPE ~ PROC [args: Arguments, in, out: IO.STREAM, state: State] RETURNS [quit: BOOLEAN _ FALSE]; Register: PROC [cmd, doc: Rope.ROPE, proc: CommandProc]; ResetMonitor: PROC [inputFile: IO.STREAM _ NIL]; Break: PROC[]; END.