DEFINITION MODULE Opcodes;
  EXPORT QUALIFIED PushAX, PushBX, PushCX, PushDX, PushSI, PushDI,
       PushBP, PushES, PushDS, PushFlags, PopAX, PopBX, PopCX,
       PopDX, PopSI, PopDI, PopBP, PopES, PopDS, PopFlags,
       Iret, Int3, Int;

  CONST
       PushAX = 050H;        PopAX = 058H;
       PushBX = 053H;        PopBX = 05BH;
       PushCX = 051H;        PopCX = 059H;
       PushDX = 052H;        PopDX = 05AH;
       PushSI = 056H;        PopSI = 05EH;
       PushDI = 057H;        PopDI = 05FH;
       PushBP = 055H;        PopBP = 05DH;
       PushDS = 01EH;        PopDS = 01FH;
       PushES = 006H;        PopES = 007H;
       PushFlags = 09CH;     PopFlags = 09DH;
       Iret   = 0CFH;        Int3  = 0CCH;
       Int    = 0CDH;

END Opcodes.
