<> <> <> DIRECTORY PrincOps USING [SD, StateVector], TrapSupport USING [OpTrapTable]; TrapSupportImpl: PROGRAM EXPORTS TrapSupport = BEGIN UnimplementedInstruction: ERROR = CODE; Unimplemented: PROC = { v: MACHINE DEPENDENT RECORD [a, b: UNSPECIFIED, state: PrincOps.StateVector]; v.state _ STATE; ERROR UnimplementedInstruction; }; trapTable: TrapSupport.OpTrapTable _ [ALL[LOOPHOLE[Unimplemented]], ALL[LOOPHOLE[Unimplemented]]]; PrincOps.SD[137B] _ @trapTable; END.