<> <> DIRECTORY IO, Nice, PrincOps, Rope, RPCPkt, SpyLog; NiceDummy: CEDAR PROGRAM EXPORTS Nice, SpyLog = { BeNice: PUBLIC PROC[r: REF, d: INT, how: ATOM_$System, howD: REF_NIL] = { NULL }; View: PUBLIC PROC[r: REF, name: Rope.ROPE] = { NULL }; LarkConLogStream: PUBLIC PROC[machine: RPCPkt.Machine] RETURNS [log: IO.STREAM_NIL] = { NULL }; WriteTrace: PUBLIC PROC [gfi: PrincOps.GFTIndex _ 0, pc: PrincOps.BytePC _ [0]] = { NULL }; }.