<<>> <> <> DIRECTORY IO USING[STREAM], StackCirio USING[Stack]; RMTWTestSubject: CEDAR DEFINITIONS = BEGIN ExamineSubjectStack: PROC[stack: StackCirio.Stack, local: BOOLEAN, reports: IO.STREAM]; Subject: PROC[local: BOOLEAN, inner: PROC[CARD32]]; END..