SELECT type:{endOfLog, nullEntry, trace, data}
FROM
endOfLog => [fill: [0..16000)𡤀], -- marks the end of valid data
nullEntry => [size: [0..16000)𡤀], -- indicates data to be skipped (used internally).
trace => [
-- 6 words
fill: [0..16000)𡤀,
gfh: PrincOps.GlobalFrameHandle,
pc: PrincOps.BytePC,
process: PrincOps.PsbHandle,
timestamp: CARD],
data => [
-- 4 words + size
size: [0..16000),
rttype: CARDINAL,
timestamp: CARD,
data: SEQUENCE COMPUTED CARDINAL OF WORD],
ENDCASE];