<<>> <> <<>> <> <> <> <> <<>> DIRECTORY IO USING[STREAM], Rope USING[ROPE]; CirioBackstop: CEDAR DEFINITIONS = BEGIN <> <> <> <> <> <<>> Protect: PROC[inner: PROC RETURNS[Rope.ROPE], reports: IO.STREAM] RETURNS[Rope.ROPE]; <> END..