RMTWTestSubject.mesa
Sturgis, February 9, 1990 10:31:45 am PST
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..