<<>> <> <> <> DIRECTORY StackTrace; StackTracePrivate: CEDAR DEFINITIONS ~ {OPEN StackTrace; Frame: PUBLIC TYPE ~ RECORD [ local: ARRAY [0..7] OF CARD32, in: ARRAY [0..5] OF CARD32, fp: FramePointer, callerPC: ProgramCounter ]; ProgramCounter: TYPE ~ POINTER TO Instruction; Instruction: TYPE ~ CARD32; }.