\ 80386 DISASSEMBLER
\ ANDREW MCKEWAN, APRIL 1994
\ TOM ZIMMER,  05/18/94 PORT TO WIN32F
\ MODIFIED TO WORD IN DECIMAL 08/03/94 10:04 TJZ
\ 06-??-95 SMUB NEXT SEQUENCE DEFINED IN FKERNEL
\ 06-21-95 SMUB REMOVED REDUNDANT COUNT CALLS FROM TXB, LXS.
\ 04-??-97 EXTENDED BY C.L. TO INCLUDE P6 AND MMX INSTRUCTIONS
\ 14-11-2000 Adapted from SPFOPT (Michael Maximov) by Dmitry Yakimov

\ ??-11-2000 Fixed FE. FF. (Bandaletov) and H.R (Yakimov)
\ 15-11-2000 Fixed MV2 (Yakimov)
\ 25-12-2000 Added float literals recognition (Yakimov)
\ 26-07-2001 Fixed MVX (Maksimov)

CR .( Loading Intel Pentium MMX disassembler...)

WARNING 0!
DECIMAL

\ REQUIRE [IF] ~mak/CompIF.f
\ REQUIRE CASE lib/ext/case.f
\ REQUIRE WITHIN lib/include/core-ext.f

REQUIRE [DEFINED] lib/include/tools.f
\ REQUIRE [IF] ~mak\CompIF.f
REQUIRE CASE lib/ext/case.f
\ REQUIRE WITHIN lib\include\core-ext.f
REQUIRE NextNFA lib/ext/vocs.f

VARIABLE END-WORD
VARIABLE START-WORD
\ VARIABLE START-LAB
\ VARIABLE FINISH-LAB
\ VARIABLE START-LIST
\ VARIABLE FINISH-LIST
\ VARIABLE IMAGE-END
VARIABLE START-LAB
VARIABLE FINISH-LAB
VARIABLE START-LIST
VARIABLE FINISH-LIST
VARIABLE START-LIST2
VARIABLE FINISH-LIST2
VARIABLE FINISH-LIST3
VARIABLE START-VAR
VARIABLE FINISH-VAR
VARIABLE START-ARRAY
VARIABLE FINISH-ARRAY
0 VALUE IMAGE-END

VARIABLE CALL-TYPE?
VARIABLE TRIGER
 VARIABLE TRIGER3
 VARIABLE DISP8?
: ADD-CALL 
>R START-LIST  @
BEGIN   DUP @  R@   =  
	 IF  DROP RDROP 0 CALL-TYPE? !  EXIT     
		ELSE  DUP  FINISH-LIST @ =  0= THEN
  WHILE  CELL+ REPEAT CELL+ DUP  FINISH-LIST ! R> OVER !
BEGIN DUP CELL- 2DUP 2>R @ SWAP @  < IF  2R@ @ SWAP 2R@ SWAP @ SWAP ! ! THEN
2R> NIP DUP START-LIST @ = UNTIL
 DROP 1 CALL-TYPE? ! 
 ;
 
 : ADD-CALL2 
>R START-LIST2  @
BEGIN   DUP @  R@   =  
	 IF  DROP RDROP 0 CALL-TYPE? !  EXIT     
		ELSE  DUP  FINISH-LIST2 @ =  0= THEN
  WHILE  CELL+ REPEAT CELL+ DUP  FINISH-LIST2 ! R> OVER !
BEGIN DUP CELL- 2DUP 2>R @ SWAP @  < IF  2R@ @ SWAP 2R@ SWAP @ SWAP ! ! THEN
2R> NIP DUP START-LIST2 @ = UNTIL
 DROP 1 CALL-TYPE? ! 
 ;

: ADD-LAB 
>R START-LAB  @
BEGIN  DUP @  R@ = 
	 IF     DROP RDROP EXIT 
		ELSE   DUP  FINISH-LAB @ = 0=   THEN
WHILE CELL+ REPEAT CELL+ DUP  FINISH-LAB ! R> OVER !
BEGIN DUP CELL- 2DUP 2>R @ SWAP @  < IF  2R@ @ SWAP 2R@ SWAP @ SWAP ! ! THEN
2R> NIP DUP START-LAB @ = UNTIL DROP ;

: ADD-VAR 
>R START-VAR  @
BEGIN  DUP @  R@ = 
	 IF     DROP RDROP EXIT 
		ELSE   DUP  FINISH-VAR @ = 0=   THEN
WHILE CELL+ REPEAT CELL+ DUP  FINISH-VAR ! R> OVER !
BEGIN DUP CELL- 2DUP 2>R @ SWAP @  < IF  2R@ @ SWAP 2R@ SWAP @ SWAP ! ! THEN
2R> NIP DUP START-VAR @ = UNTIL DROP ;

: LAB
 >R  START-LIST  @
BEGIN  DUP @  R@ = 
	 IF     DROP RDROP 1 EXIT     
		ELSE   DUP  FINISH-LIST @ = 0=   THEN
WHILE CELL+ REPEAT DROP RDROP 0 ;


: TYPE-LAB
>R START-LAB  @ 
BEGIN  DUP @  R@ = 
	 IF  DROP    RDROP 0 EXIT
                 ELSE   DUP  FINISH-LAB @  = 0=   THEN
WHILE CELL+ REPEAT DROP  RDROP 1
;

\  : TYPE-ARRAY  START-ARRAY @ DUP FINISH-ARRAY @  = IF DROP EXIT THEN
\  BEGIN DUP 2@ HEX  . . DECIMAL CR 2 CELLS + DUP FINISH-ARRAY @ = 
\  UNTIL DROP
\  ;

VARIABLE TRIGER4
VARIABLE ALLOTN
: ARRAY?  0 ALLOTN !
>R  START-ARRAY  @ DUP FINISH-ARRAY @  = IF RDROP 0 TRIGER4 ! EXIT THEN
BEGIN  DUP @  R@ = 
	 IF     ." ALLOT"  ALLOTN @ . ." :"   ." array[0.."   2@ DROP
BASE @ >R DECIMAL  . R> BASE ! 
." ] of byte;" CR   RDROP 1 TRIGER3 ! 1 TRIGER4 !  EXIT    THEN  \ 1  EXIT    THEN 
		ALLOTN 1+! 2 CELLS + DUP FINISH-ARRAY @ = 
UNTIL DROP RDROP  0 TRIGER4 ! 
;

: ARRAY2?  0 ALLOTN !
>R  START-ARRAY  @ DUP FINISH-ARRAY @  = IF RDROP 0 EXIT THEN
BEGIN  DUP @  R@ = 
	 IF     ." ALLOT"  ALLOTN @ 
BASE @ >R DECIMAL  . R> BASE !  ." ;" CR
 DROP RDROP 1  EXIT    THEN 
		ALLOTN 1+! 2 CELLS + DUP FINISH-ARRAY @ = 
UNTIL DROP RDROP 0  
;

: DEFER VECT ;

: DUP>R R> OVER >R >R ;

: UMAX ( D1 D2  -- FLAG )
   2DUP U< IF NIP ELSE DROP THEN ;


80 CONSTANT MAXSTRING

255 CONSTANT MAXCOUNTED   \ maximum length of contents of a counted string

: 0X  BASE @ HEX >R BL WORD ?LITERAL
      R> BASE ! ; IMMEDIATE

: "CLIP"        ( a1 n1 -- a1 n1' )   \ clip a string to between 0 and MAXCOUNTED
                MAXCOUNTED MIN 0 MAX ;

: PLACE         ( addr len dest -- )
                SWAP "CLIP" SWAP
                2DUP 2>R
                CHAR+ SWAP MOVE
                2R> C! ;

: +PLACE        ( addr len dest -- ) \ append string addr,len to counted
                                     \ string dest
                >R "CLIP" MAXCOUNTED  R@ C@ -  MIN R>
                                        \ clip total to MAXCOUNTED string
                2DUP 2>R

                COUNT CHARS + SWAP MOVE
                2R> +! ;

: C+PLACE       ( c1 a1 -- )    \ append char c1 to the counted string at a1
                DUP 1+! COUNT + 1- C! ;


: OFF     0! ;

: BLANK         ( addr len -- )     \ fill addr for len with spaces (blanks)
                BL FILL ;

128 CONSTANT SPCS-MAX  ( optimization for SPACES )

CREATE SPCS  SPCS-MAX ALLOT
       SPCS  SPCS-MAX BLANK

C" UPC" FIND NIP 0=
[IF]
: UPC  ( c -- c' )
   DUP [CHAR] Z U>
   IF  0xDF AND
   THEN   ;
[THEN]

: (D.)          ( d -- addr len )       TUCK DABS  <# #S ROT SIGN #> ;


80 VALUE COLS

: H.R           ( n1 n2 -- )    \ display n1 as a hex number right
                                \ justified in a field of n2 characters
                BASE @ >R HEX >R
                0 <# #S #> R> OVER - 0 MAX SPACES TYPE
                R> BASE ! ;

: H.N           ( n1 n2 -- )    \ display n1 as a HEX number of n2 digits
                BASE @ >R HEX >R
                0 <# R> 0 ?DO # LOOP #> TYPE
                R> BASE ! ;

ONLY FORTH ALSO DEFINITIONS

0 VALUE DEFAULT-16BIT?

: DEFAULT-16BIT ( -- )
                TRUE TO DEFAULT-16BIT? ;

: DEFAULT-32BIT ( -- )
                FALSE TO DEFAULT-16BIT? ;

      DEFER SHOW-NAME   ( CFA -- )      \ DISPLAY NEAREST SYMBOL

0 VALUE BASE-ADDR

VOCABULARY DISASSEMBLER
DISASSEMBLER ALSO DEFINITIONS

DECIMAL

CREATE S-BUF MAXSTRING ALLOT

: >S            ( A1 N1 -- )
                S-BUF +PLACE ;

: 0>S           ( -- )  \ RESET S-BUF
                S-BUF OFF ;

: SSPACES       ( N1 -- )
                SPCS SWAP S-BUF  +PLACE ;

: SSPACE        ( -- )
                1 SSPACES ;

: EMIT>S        ( C1 -- )
                S-BUF C+PLACE ;

: S>            ( -- A1 N1 )
                S-BUF COUNT ;

: (.S")         ( addr len -- )
                S-BUF +PLACE ;

: .S"           ( 'TEXT' -- )
                [CHAR] " PARSE
                POSTPONE SLITERAL
                POSTPONE (.S")  ; IMMEDIATE
 VARIABLE ADR@ 
:  D.>S BASE @ SWAP DECIMAL DUP 0= IF DROP   ELSE DUP 128 > IF .S" -" 256 SWAP - ELSE .S" +"  THEN
  0 (D.) >S THEN BASE ! 0 DISP8? ! ;  
: D.R>S         ( D W -- )
               \ >R (D.) R> OVER - SSPACES >S ;
		>R (D.) R> OVER - SSPACES >S ;
: .R>S          ( N W -- )
                >R  S>D  R>  D.R>S ;

: U.R>S         ( U W -- )
                0 SWAP D.R>S  ;

 : H.>S          ( U -- )
                BASE @ SWAP 
  DUP DUP IMAGE-BEGIN > SWAP IMAGE-END < AND IF DUP ADD-LAB  \ .S" [OFFSET @" HEX 0 (D.) >S .S" ]" ELSE
 .S" OFFSET [" SHOW-NAME .S" ]"  ELSE \  .S" [OFFSET @" SHOW-NAME .S" ]" ELSE 
  .S" $" HEX 0 (D.) >S THEN
  
 ( SSPACE )    BASE ! ;

 
: H.>Sn          ( U -- )
                BASE @ SWAP  HEX 0 (D.) >S ( SSPACE )   BASE ! ;                

: H.R>S           ( N1 N2 -- )
                BASE @ >R HEX >R
                0 <# #S #> R> OVER -  SSPACES >S
                R> BASE !  ;
VARIABLE NAME
\ [THEN]

: ?.NAME>S      ( CFA -- )
\  ELIMINATE " 0X"
 
\  DUP 1 H.R>S SSPACE \ ������ ������ ��������
               NEAR_NFA
               >R DUP     
   IF  \ .S" @"
   \ IF ���� �������� ELSE

 R@ DUP   START-WORD @ <  >R END-WORD @ > R> OR R@ START-WORD @ =  OR  0=  IF  R>   DUP  ADD-LAB  .S" @" 1 H.R>S  ELSE  
\  .S" @" 
  ADR@ @ R@ =  IF 0 ADR@ ! ELSE R@ ADD-LAB  THEN  \ .S" 2@" <--
   DUP   NAME !     \    COUNT >S \ ������ ������. ���� �����
                 NAME> DUP ADD-CALL2   \ ��� ADD-CALL �� �������� ������ �� ���������� ADD-LAB CR WordByAddr TYPE CR
           (   DUP  H.>Sn  )     R@ -  
        DUP      IF .S" [OFFSET "  \ .S" [OFFSET @@"
		\  DUP  .S" +"  NEGATE   H.>S  
\ R>   H.>Sn .S" ]" NAME @  COUNT >S
RDROP   NAME @  COUNT >S .S" ]"
 ELSE 
.S" @@"  RDROP NAME @  COUNT >S THEN   \ ����� ��������
               THEN    
                   DROP      \  .S"  ) "
                ELSE   R> .S" ["   H.>S .S" ]"  DROP  \ ��� 
                THEN
                ;

' ?.NAME>S TO SHOW-NAME

\ 32 CONSTANT COMMENT-COL

0 VALUE SIZE
0 VALUE 16-BIT-DATA
0 VALUE 16-BIT-ADDR
0 VALUE PREFIX-OP
0 VALUE MMX-REG

: @+  ( ADDR -- ADDR N )  DUP CELL+ SWAP @ ;
: W@+ ( ADDR -- ADDR N )  DUP 2 + SWAP W@ ;

: SEXT  ( BYTE -- N )  DUP 128 AND IF 0xFFFFFF00 OR THEN ;
: MOD/SIB ( MOD-R-R/M -- R/M R MOD ) \ R INCLUDING GENERAL, SPECIAL, SEGMENT, MMX
          ( MOD-OP-R/M -- R/M OP MOD )
          ( S-I-B -- B I S )
          255 AND 8 /MOD 8 /MOD ;

: ???   ( N1 -- )
        .S" ??? " DROP ;

: SS. ( N ADR LEN W )  >R DROP  SWAP R@ * +  R> >S SSPACE ;

: TTTN ( CODE -- ) 15 AND S" O NOB AEE NEBEA S NSP NPL GELEG " 2 SS. ;

: SREG  ( SREG -- )  3 RSHIFT 7 AND S" ESCSSSDSFSGSXXXX" 2 SS. ;
: CREG  ( EEE --  )  3 RSHIFT 7 AND S" CR0???CR2CR3CR4?????????" 3 SS. ;
: DREG  ( EEE --  )  3 RSHIFT 7 AND S" DR0DR1DR2DR3??????DR6DR7" 3 SS. ;
: TREG  ( EEE --  )  3 RSHIFT 7 AND S" ?????????TR3TR4TR5TR6TR7" 3 SS. ; \ OBSOLETE
: MREG  ( N -- )  7 AND S" MM0MM1MM2MM3MM4MM5MM6MM7" 3 SS. ;

: REG8  ( N -- )  7 AND S" ALCLDLBLAHCHDHBH" 2 SS. ;
: REG16 ( N -- )  7 AND S" AXCXDXBXSPBPSIDI" 2 SS. ;
: REG32 ( N -- )  7 AND S" EAXECXEDXEBXESPEBPESIEDI" 3 SS. ;
: REG16/32      ( N -- )
                16-BIT-DATA
                IF   REG16
                ELSE REG32
                THEN  ;
: REG   ( A N -- A )
        MMX-REG
        IF   MREG
        ELSE SIZE
             IF   REG16/32
             ELSE REG8
             THEN
        THEN
 ;

: [BASE16] ( R/M -- )   4 - S" [SI][DI][BP][BX]" 4 SS. ;
                        \ R/M = 4 , 5 , 6 , 7
: [IND16]  ( R/M -- )   S" [BX+SI][BX+DI][BP+SI][BP+DI]" 7 SS. ;
                        \ R/M = 0  ,   1  ,   2  ,   3
: [REG16]  ( R/M -- )   DUP 4 <
                        IF    [IND16]
                        ELSE  [BASE16]
                        THEN ;
: [REG32]  ( N -- )     7 AND \ TRIGER3 @  IF 
\ S" [EAX][ECX][EDX][EBX][ESP][EBP][ESI][EDI]" 5 SS. 
\ ELSE
 S" [EAX[ECX[EDX[EBX[ESP[EBP[ESI[EDI" 4 SS. DISP8? @  D.>S .S" ]"
\ THEN  
  ;


: [REG*2]  ( I -- )     S" [EAX*2][ECX*2][EDX*2][EBX*2][XXX*2][EBP*2][ESI*2][EDI*2]" 7 SS. ;
: [REG*4]  ( I -- )     S" [EAX*4][ECX*4][EDX*4][EBX*4][XXX*4][EBP*4][ESI*4][EDI*4]" 7 SS. ;
: [REG*8]  ( I -- )     S" [EAX*8][ECX*8][EDX*8][EBX*8][XXX*8][EBP*8][ESI*8][EDI*8]" 7 SS. ;
: [INDEX]  ( SIB -- )   MOD/SIB OVER 4 =
                        IF    2DROP                     \ NO ESP SCALED INDEX
                        ELSE  CASE ( S )
                                0 OF [REG32] ENDOF
                                1 OF [REG*2] ENDOF
                                2 OF [REG*4] ENDOF
                                3 OF [REG*8] ENDOF
                              ENDCASE
                        THEN DROP ;

: DISP8  ( ADR -- ADR' )     
\  COUNT DUP  DISP8?  ! D.>S ;
 COUNT DISP8?  ! ;

: DISP16 ( ADR -- ADR' )  W@+ SHOW-NAME ;
: DISP32 ( ADR -- ADR' ) @+ ( BODY> )  SHOW-NAME ;
: DISP16/32 ( ADR -- ADR' )
            16-BIT-ADDR
            IF   DISP16
            ELSE DISP32
            THEN ;

: .,     ( -- )    TRIGER  @   IF    .S" , "  THEN 1 TRIGER  !  ;

: .#  ., .S" $" ;
\ : .#  .,  ; 
\ : .#  ., .S" # " ;

: IMM8   ( ADR -- ADR' )  .# COUNT H.>Sn ;

\ : IMM16  ( ADR -- ADR' )  .#  W@+ H.>S ;

: IMM16/32  ( ADR -- ADR' )
     \   .# 
     .,
	16-BIT-DATA
        IF   W@+ 
        ELSE @+ 
        THEN  H.>S ; \ \\\\\\\
     
	
: SIB   ( ADR MOD -- ADR )
        >R COUNT TUCK 7 AND 5 = R@ 0= AND
        IF    DISP32 SWAP [INDEX] R> DROP       \ EBP BASE AND MOD = 00
        ELSE  R> CASE ( MOD )
                   1 OF DISP8  ENDOF
                   2 OF DISP32 ENDOF
                 ENDCASE
              SWAP DUP [REG32] [INDEX]
        THEN ;


: MOD-R/M32     ( ADR R/M MOD -- ADR' )
                DUP 3 =
                IF    DROP  REG                         \ MOD = 3, REGISTER CASE
                ELSE  OVER 4 =
                      IF NIP SIB                        \ R/M = 4, SIB CASE
                      ELSE  2DUP 0= SWAP 5 = AND        \ MOD = 0, R/M = 5,
                            IF 2DROP DISP32             \ DISP32 CASE
                            ELSE ROT SWAP
                                 CASE ( MOD )
                                   1 OF  DISP8  ENDOF
                                   2 OF DISP32 ENDOF
                                 ENDCASE
                                 SWAP [REG32]
                            THEN
                      THEN
                THEN ;

: MOD-R/M16     ( ADR R/M MOD -- ADR' )
                2DUP 0= SWAP 6 = AND
                IF   2DROP DISP16                       \ DISP16 CASE
                ELSE CASE ( MOD )
                       0 OF [REG16]                     ENDOF
                       1 OF SWAP DISP8  SWAP [REG16]    ENDOF
                       2 OF SWAP DISP16 SWAP [REG16]    ENDOF
                       3 OF REG                         ENDOF
                     ENDCASE
                THEN ;

: MOD-R/M ( ADR MODR/M -- ADR' )
          MOD/SIB NIP 16-BIT-ADDR
          IF    MOD-R/M16
          ELSE  MOD-R/M32
          THEN ;


: R/M8      0 TO SIZE MOD-R/M ;
: R/M16/32  1 TO SIZE MOD-R/M ;
: R/M16     TRUE TO 16-BIT-DATA R/M16/32 ;

: R,R/M  ( ADR -- ADR' )
     COUNT DUP 3 RSHIFT REG ., MOD-R/M ;

: R/M,R  ( ADR -- ADR' )
        COUNT DUP>R MOD-R/M ., R> 3 RSHIFT REG ;

: R/M  ( ADR OP -- ADR' )
        2 AND
        IF     R,R/M
        ELSE   R/M,R
        THEN  ;

\ -------------------- SIMPLE OPCODES --------------------

: INH   ( -<NAME>- )
        CREATE
        BL WORD COUNT HERE PLACE
        HERE C@ 1+ ALLOT
        DOES> COUNT >S SSPACE DROP ;

INH CLC  CLC
INH STC  STC
INH CLD  CLD
INH STD  STD
\ INH RPNZ REPNZ
\ INH REPZ REPZ
INH CBW  CBW
INH CDQ  CDQ
INH DAA  DAA
INH DAS  DAS
INH AAA  AAA
INH AAS  AAS
\ INH LOCK LOCK
INH INB  INSB
INH OSB  OUTSB
INH SAH  SAHF
INH LAH  LAHF
\ INH AAM  AAM
\ INH AAD  AAD
INH HLT  HLT
INH CMC  CMC
INH XLT  XLAT
INH CLI  CLI
INH STI  STI

INH CLT CLTS
INH INV INVD
INH WIV WBINVD
INH UD2 UD2
INH WMR WRMSR
INH RTC RDTSC
INH RMR RDMSR
INH RPC RDPMC
INH EMS EMMS
INH RSM RSM
INH CPU CPUID
INH UD1 UD1
\ INH LSS LSS
\ INH LFS LFS
\ INH LGS LGS

\ INH D16: D16:
\ INH A16: A16:
\ INH ES:  ES:
\ INH CS:  CS:
\ INH DS:  DS:
\ INH FS:  FS:
\ INH GS:  GS:

: AAM   ( ADR CODE -- ADR' )
        .S" AAM" DROP COUNT DROP ;

: AAD   ( ADR CODE -- ADR' )
        .S" AAD" DROP COUNT DROP ;

: D16   ( ADR CODE -- ADR' )
        DROP .S" D16:"
        TRUE TO 16-BIT-DATA
        TRUE TO PREFIX-OP
        ;

: A16   ( ADR CODE -- ADR' )
        DROP .S" A16:"
        TRUE TO 16-BIT-ADDR
        TRUE TO PREFIX-OP
        ;

: RPZ   ( ADR CODE -- ADR' )
        DROP .S" REPNZ"
        TRUE TO PREFIX-OP
        ;

: REP   ( ADR CODE -- ADR' )
        DROP .S" REPZ"
        TRUE TO PREFIX-OP
        ;

: LOK   ( ADR CODE -- ADR' )  \ THIS SHOULD HAVE ERROR CHECKING ADDED
        DROP .S" LOCK"
        TRUE TO PREFIX-OP
        ;

: CS:   ( ADR CODE -- ADR' )
        DROP .S" CS:"
        TRUE TO PREFIX-OP
        ;

: DS:   ( ADR CODE -- ADR' )
        DROP .S" DS:"
        TRUE TO PREFIX-OP
        ;

: SS:   ( ADR CODE -- ADR' )
        DROP .S" SS:"
        TRUE TO PREFIX-OP
        ;

: ES:   ( ADR CODE -- ADR' )
        DROP .S" ES:"
        TRUE TO PREFIX-OP
        ;

: GS:   ( ADR CODE -- ADR' )
        DROP .S" GS:"
        TRUE TO PREFIX-OP
        ;

: FS:   ( ADR CODE -- ADR' )
        DROP .S" FS:"
        TRUE TO PREFIX-OP
        ;

: ISD   ( ADR CODE -- ADR' )
        DROP 16-BIT-DATA
        IF      .S" INSW    "
        ELSE    .S" INSD    "
        THEN ;

: OSD   ( ADR CODE -- ADR' )
        DROP 16-BIT-DATA
        IF      .S" OUTSW    "
        ELSE    .S" OUTSD    "
        THEN ;

: INP   ( ADDR CODE -- ADDR' )
        .S" IN      " 1 AND
        IF      16-BIT-DATA
                IF      .S" AX , "
                ELSE    .S" EAX , "
                THEN
        ELSE    .S" AL , "
        THEN
        COUNT H.>S ;

: OTP   ( ADDR CODE -- ADDR' )
        .S" OUT     " 1 AND
        IF      COUNT H.>S 16-BIT-DATA
                IF      .S" , AX"
                ELSE    .S" , EAX"
                THEN
        ELSE    COUNT H.>S .S" , AL"
        THEN
        ;

: IND   ( ADDR CODE -- ADDR' )
        .S" IN      " 1 AND
        IF      16-BIT-DATA
                IF      .S" AX , DX"
                ELSE    .S" EAX , DX"
                THEN
        ELSE    .S" AL , DX"
        THEN
        ;

: OTD   ( ADDR CODE -- ADDR' )
        .S" OUT     " 1 AND
        IF      16-BIT-DATA
                IF      .S" DX , AX"
                ELSE    .S" DX , EAX"
                THEN
        ELSE    .S" DX , AL"
        THEN
        ;

\ -------------------- ALU OPCODES --------------------

: .ALU  ( N -- )
        7 AND S" ADDOR ADCSBBANDSUBXORCMP"  3 SS. 4 SSPACES
    ;

: ALU  ( ADR OP -- ADR' )
        DUP 3 RSHIFT .ALU R/M ;

: ALI ( ADR OP -- ADR' )
        >R COUNT
        DUP 3 RSHIFT .ALU
        MOD-R/M
        R> 3 AND ?DUP
        IF      1 =
                IF      IMM16/32
                ELSE    .# COUNT SEXT 0 .R>S SSPACE
                THEN
        ELSE    IMM8
        THEN ;

: ALA  ( ADR OP -- ADR' )
        DUP 3 RSHIFT .ALU
        1 AND IF 0 REG IMM16/32 ELSE 0 REG8 IMM8 THEN ;


\ -------------------- TEST/XCHG --------------------

: TXB   ( ADDR OP -- ADDR' )
        DUP 3 AND S" TESTTESTXCHGXCHG" 4 SS. 3 SSPACES
        1 AND
        IF      1 TO SIZE R,R/M     \ SMUB REMOVED COUNT
        ELSE    0 TO SIZE R,R/M     \ SMUB REMOVED COUNT
        THEN
        ;

: TST   ( ADDR OP -- ADDR' )
        .S" TEST    " 1 AND
        IF      16-BIT-DATA
                IF   .S" AX , "
                ELSE .S" EAX , "
                THEN
                IMM16/32
        ELSE    .S" AL , " IMM8
        THEN
        ;

\ -------------------- INC/DEC ----------------------

: INC  ( ADDR OP -- ADDR' )
        .S" INC     " REG16/32 ;

: DEC  ( ADDR OP -- ADDR' )
        .S" DEC     " REG16/32 ;


\ -------------------- PUSH/POP --------------------

: PSH   ( ADDR OP -- ADDR' )
        .S" PUSH    " REG16/32
     0 TRIGER  !   
         ;

: POP   ( ADDR OP -- ADDR' )
        .S" POP     " REG16/32 
        0 TRIGER  ! 
        ;

: PSS   ( ADDR OP -- ADDR' )
        .S" PUSH    " SREG ;

: PPS   ( ADDR OP -- ADDR' )
        .S" POP     " SREG 
        0 TRIGER  ! 
        ;

: PSA   ( ADDR OP -- ADDR' )
        DROP 16-BIT-DATA
        IF      .S" PUSHA   "
        ELSE    .S" PUSHAD  "
        THEN 
        0 TRIGER  ! 
        ;

: PPA   ( ADDR OP -- ADDR' )
        DROP 16-BIT-DATA
        IF      .S" POPA    "
        ELSE    .S" POPAD   "
        THEN
        0 TRIGER  ! 
         ;

: PSI   ( ADDR OP -- ADDR' )
        .S" PUSH    " 2 AND
        IF      IMM8
        ELSE    IMM16/32
        THEN
        0 TRIGER  ! 
         ;

: PSF   ( ADDR OP -- ADDR' )
        DROP 16-BIT-DATA
        IF      .S" PUSHF   "
        ELSE    .S" PUSHFD  "
        THEN 
        0 TRIGER  ! 
        ;

: PPF   ( ADDR OP -- ADDR' )
        DROP 16-BIT-DATA
        IF      .S" POPF    "
        ELSE    .S" POPFD   "
        THEN 
       0 TRIGER  !  
        ;

: 8F.   ( ADDR OP -- ADDR' )
        DROP COUNT .S" POP     " R/M16/32 
       0 TRIGER  !  
        ;

\ -------------------- MOVE --------------------

: MOV  ( ADDR OP -- ADDR' )
        .S" MOV     " R/M ;

: MRI  ( ADDR OP -- ADDR' ) ( MOV REGISTER, IMM )
        .S" MOV     " DUP 8 AND
        IF      REG16/32 IMM16/32
        ELSE    REG8 IMM8
        THEN ;

: MVI  ( ADR OP -- ADR' )   ( MOV MEM, IMM )
        .S" MOV     " DROP COUNT MOD-R/M
        SIZE
        IF      IMM16/32
        ELSE    IMM8
        THEN
        ;

: MRS   ( ADDR OP -- ADDR' )
\ ? REMOVE REDUNDANT >R , R>
        16-BIT-DATA
        IF      .S" MOV     " DROP
                1 TO SIZE
                COUNT DUP MOD-R/M .,
                SREG
        ELSE    ???
        THEN ;

: MSR   ( ADDR OP -- ADDR' )
        16-BIT-DATA
        IF      .S" MOV     " DROP
                1 TO SIZE
                COUNT DUP SREG .,
                MOD-R/M
        ELSE    ???
        THEN ;

: MRC   ( ADDR OP -- ADDR' )
        .S" MOV     "
        DROP COUNT DUP REG32 .S" , "
        CREG ;

: MCR   ( ADDR OP -- ADDR' )
        .S" MOV     "
        DROP COUNT DUP CREG .S" , "
        REG32 ;

: MRD   ( ADDR OP -- ADDR' )
        .S" MOV     "
        DROP COUNT DUP REG32 .S" , "
        DREG ;

: MDR   ( ADDR OP -- ADDR' )
        .S" MOV     "
        DROP COUNT DUP DREG .S" , "
        REG32 ;

: MRT   ( ADDR OP -- ADDR' )
\ OBSOLETE
        .S" MOV     "
        DROP COUNT DUP REG32 .S" , "
        TREG ;

: MTR   ( ADDR OP -- ADDR' )
\ OBSOLETE
        .S" MOV     "
        DROP COUNT DUP TREG .S" , "
        REG32 ;

: MV1   ( ADDR OP -- ADDR' )
        .S" MOV     " 1 AND
        IF      16-BIT-DATA
                IF      .S" AX , "
                ELSE    .S" EAX , "
                THEN
        ELSE    .S" AL , "
        THEN
        DISP16/32 ;

: MV2   ( ADDR OP -- ADDR' )
        .S" MOV     " SWAP DISP16/32 .,
        SWAP 1 AND
        IF      16-BIT-DATA
                IF      .S"  AX"
                ELSE    .S"  EAX"
                THEN
        ELSE    .S"  AL"
        THEN
        ;

: LEA  ( ADDR OP -- ADDR' )
        .S" LEA     " DROP  1 TO SIZE R,R/M ;

: LXS   ( ADDR OP -- ADDR' )
        1 AND
        IF      .S" LDS     "
        ELSE    .S" LES     "
        THEN
        R,R/M   \ SMUB REMOVED COUNT
        ;

: BND  ( ADDR OP -- ADDR' )
        .S" BOUND   " DROP  1 TO SIZE R,R/M ;

: ARP   ( ADDR OP -- ADDR' )
        .S" ARPL    " DROP
        1 TO SIZE
        TRUE TO 16-BIT-DATA
        R,R/M
        ;

: MLI   ( ADDR OP -- ADDR' )
        1 TO SIZE
        .S" IMUL    " 0x69 =
        IF      R,R/M IMM16/32
        ELSE    R,R/M IMM8
        THEN ;

\ -------------------- JUMPS AND CALLS --------------------

0 VALUE MAX_REFERENCE

: >MAX_R  DUP MAX_REFERENCE UMAX TO MAX_REFERENCE ;

: REL8  ( ADDR OP -- ADDR' )
\ .S" @"   \  
        COUNT SEXT OVER + BASE-ADDR - >MAX_R   DUP ADD-LAB 
SHOW-NAME ; \  H.>Sn ;



: REL16/32 ( ADDR OP -- ADDR' )
  \   .S" @"
        16-BIT-ADDR
        IF      W@+ 
        ELSE    @+
        THEN    OVER + BASE-ADDR - >MAX_R DUP ADR@ !  DUP ADD-LAB SHOW-NAME ;

: JSR  ( ADDR OP -- ADDR' )
     .S" CALL    "    DROP    REL16/32     \ DUP @ >R  REL16/32   DUP R> +  DROP 
   ;

: JMP  ( ADDR OP -- ADDR' )
        .S" JMP     "  2 AND IF REL8 ELSE REL16/32 THEN 
         ; 
 
 : .JXX  ( ADDR OP -- ADDR' )
        .S" J"   TTTN  4 SSPACES 
          ;

: BRA  ( ADDR OP -- ADDR' )
        .JXX  REL8  ;

: LUP  ( ADDR OP -- ADDR' )
        3 AND S" LOOPNZLOOPZ LOOP  JECXZ " 6 SS. 1 SSPACES REL8 ;

: LBR  ( ADDR OP -- ADDR' )
        .JXX  REL16/32  ;

: RTN  ( ADDR OP -- ADDR' )
        .S" RET" 1 AND 0=   \   .S" RET     NEAR " 1 AND 0=
        IF      W@+ H.>S
        THEN ;

: RTF  ( ADDR OP -- ADDR' )
        .S" RET     FAR " 1 AND 0=
        IF      W@+ H.>S
        THEN ;

: ENT  ( ADDR OP -- ADDR' )
       DROP
        .S" ENTER   " W@+ H.>S ., COUNT H.>S ;

: CIS   ( ADDR OP -- ADDR' )
        0x9A =
        IF      .S" CALL    "
        ELSE    .S" JMP     "
        THEN
        16-BIT-DATA
        IF      .S" PTR16:16 "
        ELSE    .S" PTR16:32 "
        THEN
        COUNT MOD-R/M
         ;

: NT3   ( ADDR OP -- ADDR' )
        DROP .S" INT     3 "
        ;

: INT   ( ADDR OP -- ADDR' )
        DROP .S" INT     "
        COUNT H.>S ;

INH LEV LEAVE
INH IRT  IRET
INH NTO  INTO

\ -------------------- STRING OPS --------------------

: STR   INH DOES> COUNT >S  1 AND IF .S" D" ELSE .S" B" THEN ;

STR MVS MOVS
STR CPS CMPS
STR STS STOS
STR LDS LODS
STR SCS SCAS

\ -------------------- EXCHANGE --------------------

: XGA  ( ADDR OP -- ADDR' )
        .S" XCHG     EAX, " REG16/32 ;

\ : XCH  ( ADDR OP -- ADDR' )
\       .S" XCHG    " DROP R,R/M ;


\ -------------------- SHIFTS & ROTATES --------------------

: .SHIFT ( N -- )
        7 AND S" ROLRORRCLRCRSHLSHRXXXSAR" 3 SS.  4 SSPACES ;

: SHF  ( ADDR OP -- ADDR' )
        >R COUNT
        DUP 3 RSHIFT .SHIFT
        MOD-R/M .,
        R> 0xD2 AND
        CASE
           0xC0 OF COUNT H.>S      ENDOF
           0xD0 OF 1 H.>S          ENDOF
           0xD2 OF 1 REG8          ENDOF
        ENDCASE ;

\ -------------------- EXTENDED OPCODES --------------------

: WF1  ( ADDR -- ADDR' )
        1+ COUNT DUP
        0x0C0 <
        IF      DUP
                3 RSHIFT 7 AND
                CASE 6 OF     .S" FSTENV  "      MOD-R/M   ENDOF
                     7 OF     .S" FSTCW   WORD " MOD-R/M   ENDOF
                     2DROP 2 - DUP .S" FWAIT   "
                ENDCASE
        ELSE    DROP 2 - .S" FWAIT   "
        THEN ;

: WF2  ( ADDR -- ADDR' )
        1+ COUNT
        CASE 0xE2 OF   .S" FCLEX   "  ENDOF
             0xE3 OF   .S" FINIT   "  ENDOF
             SWAP 2 - SWAP .S" FWAIT   "
        ENDCASE ;

: WF3  ( ADDR -- ADDR' )
        1+ COUNT DUP 3 RSHIFT 7 AND
        CASE 6 OF     .S" FSAVE   "      MOD-R/M   ENDOF
             7 OF     .S" FSTSW   WORD " MOD-R/M   ENDOF
             2DROP 2 - DUP .S" FWAIT   "
        ENDCASE ;

: WF4  ( ADDR -- ADDR' )
        1+ COUNT 0xE0 =
        IF      .S" FSTSW   AX "
        ELSE    2 - .S" FWAIT   "
        THEN ;

: FWAITOPS   ( ADDR OP -- ADDR' )
        CASE 0xD9 OF    WF1     ENDOF
             0xDB OF    WF2     ENDOF
             0xDD OF    WF3     ENDOF
             0xDF OF    WF4     ENDOF
             .S" FWAIT   "
        ENDCASE ;

: W8F   ( ADDR OP -- ADDR' )
        DROP DUP C@ DUP 0xF8 AND 0xD8 =
        IF      FWAITOPS
        ELSE    DROP .S" WAIT    "
        THEN ;

: FALU1   ( XOPCODE -- )
        3 RSHIFT 7 AND
        S" FADD FMUL FCOM FCOMPFSUB FSUBRFDIV FDIVR"
        5 SS. 2 SSPACES ;

: FALU5   ( XOPCODE -- )
        3 RSHIFT 7 AND
        S" FADD FMUL ???? ???? FSUBRFSUB FDIVRFDIV "
        5 SS. 2 SSPACES ;

: STI.   ( OP -- )
        7 AND .S" ST(" 1 .R>S .S" )";

\ : STI.ST   ( OP -- )
\        7 AND
\        .S" ST(" 1 .R>S .S" )" .S"  ST " ;

: FD8   ( ADDR OPCODE -- ADDR' )
        DROP COUNT DUP FALU1
        DUP 0xC0 <
        IF      .S" FLOAT " MOD-R/M
        ELSE    DUP 0xF0 AND 0xD0 =
                IF      STI.
                ELSE    .S" ST , " STI.
                THEN
        THEN ;

: FDC   ( ADDR OPCODE -- ADDR' )
        DROP COUNT
        DUP DUP 0xC0 <
        IF      FALU1 .S" DOUBLE " MOD-R/M
        ELSE    FALU5 STI. .S"  , ST"
        THEN ;

: FNULLARY-F   ( OP -- )
        0x0F AND DUP 8 <
        IF
           S" F2XM1  FYL2X  FPTAN  FPATAN FXTRACTFPREM1 FDECSTPFINCSTP"
        ELSE  8 -
           S" FPREM  FYL2XP1FSQRT  FSINCOSFRNDINTFSCALE FSIN   FCOS   "
        THEN
        7 SS. ;

: FNULLARY-E   ( OP -- )
        0x0F AND DUP 8 <
        IF
           S" FCHS   FABS   ???    ???    FTST   FXAM   ???    ???    "
        ELSE  8 -
           S" FLD1   FLDL2T FLDL2E FLDPI  FLDLG2 FLDLN2 FLDZ   ???    "
        THEN
        7 SS. ;

: FNULLARY   ( OP -- )
        DUP 0xEF >
        IF      FNULLARY-F EXIT
        THEN
        DUP 0xE0 <
        IF      0xD0 =
                IF      .S" FNOP"
                ELSE    DUP ???
                THEN
                EXIT
        THEN
        FNULLARY-E ;


\ : FALU2   ( OP -- )
\        3 RSHIFT 7 AND
\        S" FLD    ???    FST    FSTP   FLDENV FLDCW  FNSTENVFNSTCW "
\        7 SS. ;

: FD9   ( ADDR OP -- ADDR' )
        DROP COUNT DUP 0xC0 <
        IF      DUP 0x38 AND
                CASE
                        0x00 OF .S" FLD     FLOAT "  ENDOF
                        0x10 OF .S" FST     FLOAT "  ENDOF
                        0x18 OF .S" FSTP    FLOAT "  ENDOF
                        0x20 OF .S" FLDENV  "        ENDOF
                        0x28 OF .S" FLDCW   WORD "   ENDOF
                        0x30 OF .S" FNSTENV "        ENDOF
                        0x38 OF .S" FNSTCW  WORD "   ENDOF
                            DUP ???
                ENDCASE
                MOD-R/M
        ELSE
                DUP 0xD0 <
                IF      DUP 0xC8 <
                        IF      .S" FLD     "
                        ELSE    .S" FXCH    "
                        THEN
                        STI.
                ELSE    FNULLARY
                THEN
        THEN ;

: FALU3   ( OP -- )
        3 RSHIFT 7 AND
        S" FIADD FIMUL FICOM FICOMPFISUB FISUBRFIDIV FIDIVR"
        6 SS. 1 SSPACES ;

: FCMOVA  ( OP -- )
        3 RSHIFT 7 AND
        S" FCMOVB FCMOVE FCMOVBEFCMOVU ???    ???    ???    ???    "
        7 SS. ;

: FDA   ( ADDR OP -- )
        DROP COUNT DUP 0xC0 <
        IF      DUP FALU3 .S" DWORD " MOD-R/M
        ELSE    DUP 0xE9 =
                IF      .S" FUCOMPP" DROP
                ELSE    DUP FCMOVA STI.
                THEN
        THEN ;

: FALU7  ( OP -- )
        3 RSHIFT 7 AND
        S" FADDP FMULP ???   ???   FSUBRPFSUBP FDIVRPFDIVP "
        6 SS. SSPACE ;

: FDE   ( ADDR OP -- ADDR' )
        DROP COUNT DUP 0xC0 <
        IF      DUP FALU3 .S" WORD " MOD-R/M
        ELSE    DUP 0xD9 =
                IF    .S" FCOMPP" DROP
                ELSE  DUP FALU7 STI.
                THEN
        THEN ;


: FCMOVB  ( OP -- )
        3 RSHIFT 7 AND
        S" FCMOVNB FCMOVNE FCMOVNBEFCMOVNU ???     FUCOMI  FCOMI   ???     "
        8 SS. ;

: FDB   ( ADDR OP -- ADDR' )
        DROP COUNT DUP 0xC0 <
        IF      DUP 0x38 AND
                CASE    0x00 OF .S" FILD    DWORD "    ENDOF
                        0x10 OF .S" FIST    DWORD "    ENDOF
                        0x18 OF .S" FISTP   DWORD "    ENDOF
                        0x28 OF .S" FLD     EXTENDED " ENDOF
                        0x38 OF .S" FSTP    EXTENDED " ENDOF
                            DUP ???
                ENDCASE
                MOD-R/M
        ELSE
                CASE    0xE2 OF .S" FNCLEX" ENDOF
                        0xE3 OF .S" FNINIT" ENDOF
                            DUP DUP FCMOVB STI.
                ENDCASE
        THEN ;

: FALU6  ( OP -- )
        3 RSHIFT 7 AND
        S" FFREE ???   FST   FSTP  FUCOM FUCOMP???   ???   "
        6 SS. SSPACE ;

: FDD   ( ADDR OP -- ADDR' )
        DROP COUNT DUP 0xC0 <
        IF      DUP 0x38 AND
                CASE    0x00 OF .S" FLD     DOUBLE "  ENDOF
                        0x10 OF .S" FST     DOUBLE "  ENDOF
                        0x18 OF .S" FSTP    DOUBLE "  ENDOF
                        0x20 OF .S" FRSTOR  "         ENDOF
                        0x30 OF .S" FNSAVE  "         ENDOF
                        0x38 OF .S" FNSTSW  WORD   "  ENDOF
                            DUP ???
                ENDCASE
                MOD-R/M
        ELSE    DUP FALU6 STI.
        THEN ;

: FDF   ( ADDR OP -- ADDR' )
        DROP COUNT DUP 0xC0 <
        IF      DUP 0x38 AND
                CASE    0x00 OF .S" FILD    WORD "   ENDOF
                        0x10 OF .S" FIST    WORD "   ENDOF
                        0x18 OF .S" FISTP   WORD "   ENDOF
                        0x20 OF .S" FBLD    TBYTE "  ENDOF
                        0x28 OF .S" FILD    QWORD "  ENDOF
                        0x30 OF .S" FBSTP   TBYTE "  ENDOF
                        0x38 OF .S" FISTP   QWORD "  ENDOF
                            DUP ???
                ENDCASE
                MOD-R/M
        ELSE    DUP 0xE0 =
                IF      .S" FNSTSW  AX " DROP
                ELSE    DUP 0x38 AND
                        CASE    0x28 OF .S" FUCOMIP " STI. ENDOF
                                0x30 OF .S" FCOMIP  " STI. ENDOF
                                        ???
                        ENDCASE
                THEN
        THEN ;

: GP6 ( ADDR OP -- ADDR' )
        DROP COUNT DUP 3 RSHIFT
        7 AND S" SLDTSTR LLDTLTR VERRVERW??? ???" 4 SS. 3 SSPACES
        R/M16 ;

: GP7 ( ADDR OP -- ADDR' )
        DROP COUNT DUP 3 RSHIFT
        7 AND DUP S" SGDT  SIDT  LGDT  LIDT  SMSW  ???   LMSW  INVLPG" 6 SS. 1 SSPACES
        4 AND 4 =
        IF   R/M16
        ELSE R/M16/32
        THEN ;

: BTX.  ( N -- )
        3 RSHIFT
        3 AND S" BT BTSBTRBTC" 3 SS. 4 SSPACES ;

: GP8 ( ADDR OP -- ADDR' )
        DROP COUNT DUP BTX.
        R/M16/32 IMM8 ;

: LAR ( ADDR OP -- ADDR' )
        .S" LAR     " DROP R,R/M ;

: LSL ( ADDR OP -- ADDR' )
        .S" LSL     " DROP R,R/M ;

: LSS ( ADDR OP -- ADDR' )
        .S" LSS     " DROP R,R/M ;

: LFS ( ADDR OP -- ADDR' )
        .S" LFS     " DROP R,R/M ;

: LGS ( ADDR OP -- ADDR' )
        .S" LGS     " DROP R,R/M ;

: BTX ( ADDR OP -- ADDR' )
        BTX. R/M,R ;

: SLI ( ADDR OP -- ADDR' )
        .S" SHLD    " DROP R/M,R IMM8 ;

: SRI ( ADDR OP -- ADDR' )
        .S" SHRD    " DROP R/M,R IMM8 ;

: SLC ( ADDR OP -- ADDR' )
        .S" SHLD    " DROP R/M,R .S" , CL" ;

: SRC ( ADDR OP -- ADDR' )
        .S" SHRD    " DROP R/M,R .S" , CL" ;

: IML ( ADDR OP -- ADDR' )
        .S" IMUL    " DROP R,R/M ;

: CXC ( ADDR OP -- ADDR' )
        .S" CMPXCHG " 1 AND TO SIZE R/M,R ;

: MVX ( ADDR OP -- ADDR' )
        DUP 8 AND
        IF      .S" MOVSX   "
        ELSE    .S" MOVZX   "
        THEN
        1 AND >R
        COUNT MOD/SIB R>                        \ SIZE BIT
        IF    SWAP REG32 .,                     \ WORD TO DWORD CASE
              3 =
              IF   REG16
              ELSE .S" WORD PTR "  DROP DUP 1- C@ MOD-R/M
              THEN
        ELSE  SWAP REG16/32 .,                  \ BYTE CASE
              3 =
              IF   REG8
              ELSE .S" BYTE PTR "  DROP DUP 1- C@ MOD-R/M
              THEN
        THEN ;

: XAD ( ADDR OP -- ADDR' )
        .S" XADD    " 1 AND TO SIZE R/M,R ;

: BSF ( ADDR OP -- ADDR' )
        .S" BSF     " DROP R,R/M ;

: BSR ( ADDR OP -- ADDR' )
        .S" BSR     " DROP R,R/M ;

: CX8 ( ADDR OP -- ADDR' )
        .S" CMPXCHG8B " DROP COUNT R/M16/32 ;

: BSP ( ADDR OP -- ADDR' )
        .S" BSWAP   " REG32 ;


: F6.  ( ADDR OP -- ADDR' )
\ ??
        >R COUNT
        DUP 3 RSHIFT 7 AND DUP>R S" TESTXXXXNOT NEG MUL IMULDIV IDIV" 4 SS. 3 SSPACES
        MOD-R/M
        R> 0= IF
                R@ 1 AND IF IMM16/32
                         ELSE IMM8
                         THEN
              THEN
        R> DROP ;

: FE.  ( ADDR OP -- ADDR' )
        DROP COUNT
        DUP 3 RSHIFT 7 AND
        CASE
                0 OF .S" INC     "  ENDOF
                1 OF .S" DEC     "  ENDOF
                     .S" ???     "
        ENDCASE R/M8 ;

: FF.  ( ADDR OP -- ADDR' )
        DROP COUNT
        DUP 3 RSHIFT 7 AND
        CASE
                0 OF .S" INC     "      ENDOF
                1 OF .S" DEC     "      ENDOF
                2 OF .S" CALL    "      ENDOF
                3 OF .S" CALL    FAR "  ENDOF
                4 OF .S" JMP     "      ENDOF
                5 OF .S" JMP     FAR "  ENDOF
                6 OF .S" PUSH    "      ENDOF
                     .S" ???     "
        ENDCASE R/M16/32 ;


\ --------------------- CONDITIONAL MOVE ---------------

: SET   ( ADR OP -- )
        .S" SET"
        TTTN 2 SSPACES
        COUNT R/M8 ;

: CMV   ( ADR OP -- )
        .S" CMOV"
        TTTN 1 SSPACES
        R,R/M ;

\ --------------------- MMX OPERATIONS -----------------

: MMX-SIZE ( OP -- )
        3 AND S" BWDQ" 1 SS. ;

: UPL   ( ADR OP -- ADR' )
        3 AND S" PUNPCKLBWPUNPCKLWDPUNPCKLDQ" 9 SS. R,R/M ;

: UPH   ( ADR OP -- ADR' )
        3 AND S" PUNPCKHBWPUNPCKHWDPUNPCKHDQ" 9 SS. R,R/M ;

: CGT   ( ADR OP -- ADR' )
        .S" PCMPGT" MMX-SIZE R,R/M ;

: CEQ   ( ADR OP -- ADR' )
        .S" PCMPEQ" MMX-SIZE R,R/M ;

: PSH.  ( OP -- )
        0x30 AND
        CASE
             0x10 OF .S" PSRL" ENDOF
             0x20 OF .S" PSRA" ENDOF
             0x30 OF .S" PSLL" ENDOF
        ENDCASE ;

: GPA   ( ADR OP -- ADR' )
        >R COUNT DUP PSH. R> MMX-SIZE 2 SSPACES MREG IMM8 ;

: PUW   ( ADR OP -- ADR' )
        .S" PACKUSDW " DROP R,R/M ;

: PSB   ( ADR OP -- ADR' )
        .S" PACKSSWB " DROP R,R/M ;

: PSW   ( ADR OP -- ADR' )
        .S" PACKSSDW " DROP R,R/M ;

: MPD   ( ADR OP -- ADR' )
        .S" MOVD    " DROP COUNT MOD/SIB
        SWAP MREG ., 3 =
        IF   REG32
        ELSE MOD-R/M
        THEN ;

: MDP   ( ADR OP -- ADR' )
        .S" MOVD    " DROP COUNT MOD/SIB
        3 =
        IF   SWAP REG32
        ELSE SWAP MOD-R/M
        THEN ., MREG ;

: MPQ   ( ADR OP -- ADR' )
        .S" MOVQ    " DROP R,R/M ;

: MQP   ( ADR OP -- ADR' )
        .S" MOVQ    " DROP R/M,R ;

: SHX   ( ADR OP -- ADR' )
        DUP PSH. MMX-SIZE 2 SSPACES R,R/M ;

: MLL   ( ADR OP -- ADR' )
        .S" PMULLW  " DROP R,R/M ;

: MLH   ( ADR OP -- ADR' )
        .S" PMULHW  " DROP R,R/M ;

: MAD   ( ADR OP -- ADR' )
        .S" PMADDWD " DROP R,R/M ;

: SUS   ( ADR OP -- ADR' )
        .S" PSUBUS" MMX-SIZE R,R/M ;

: SBS   ( ADR OP -- ADR' )
        .S" PSUBS" MMX-SIZE SSPACE R,R/M ;

: SUB   ( ADR OP -- ADR' )
        .S" PSUB" MMX-SIZE 2 SSPACES R,R/M ;

: AUS   ( ADR OP -- ADR' )
        .S" PADDUS" MMX-SIZE R,R/M ;

: ADS   ( ADR OP -- ADR' )
        .S" PADDS" MMX-SIZE SSPACE R,R/M ;

: ADD   ( ADR OP -- ADR' )
        .S" PADD" MMX-SIZE 2 SSPACES R,R/M ;

: PAD   ( ADR OP -- ADR' )
        .S" PAND    " DROP R,R/M ;

: POR   ( ADR OP -- ADR' )
        .S" POR     " DROP R,R/M ;

: PAN   ( ADR OP -- ADR' )
        .S" PANDN   " DROP R,R/M ;

: PXR   ( ADR OP -- ADR' )
        .S" PXOR    " DROP R,R/M ;


\ -------------------- OPCODE TABLE --------------------

: OPS 0x10 0 DO ' , LOOP ;


CREATE OP-TABLE2

\     0   1   2   3    4   5   6   7    8   9   A   B    C   D   E   F

OPS  GP6 GP7 LAR LSL  ??? ??? CLT ???  INV WIV ??? UD2  ??? ??? ??? ???  \ 0
OPS  ??? ??? ??? ???  ??? ??? ??? ???  ??? ??? ??? ???  ??? ??? ??? ???  \ 1
OPS  MRC MRD MCR MDR  MRT ??? MTR ???  ??? ??? ??? ???  ??? ??? ??? ???  \ 2
OPS  WMR RTC RMR RPC  ??? ??? ??? ???  ??? ??? ??? ???  ??? ??? ??? ???  \ 3

OPS  CMV CMV CMV CMV  CMV CMV CMV CMV  CMV CMV CMV CMV  CMV CMV CMV CMV  \ 4
OPS  ??? ??? ??? ???  ??? ??? ??? ???  ??? ??? ??? ???  ??? ??? ??? ???  \ 5
OPS  UPL UPL UPL PUW  CGT CGT CGT PSB  UPH UPH UPH PSW  ??? ??? MPD MPQ  \ 6
OPS  ??? GPA GPA GPA  CEQ CEQ CEQ EMS  ??? ??? ??? ???  ??? ??? MDP MQP  \ 7

OPS  LBR LBR LBR LBR  LBR LBR LBR LBR  LBR LBR LBR LBR  LBR LBR LBR LBR  \ 8
OPS  SET SET SET SET  SET SET SET SET  SET SET SET SET  SET SET SET SET  \ 9
OPS  PSS PPS CPU BTX  SLI SLC ??? ???  PSS PPS RSM BTX  SRI SRC ??? IML  \ A
OPS  CXC CXC LSS BTX  LFS LGS MVX MVX  ??? UD1 GP8 BTX  BSF BSR MVX MVX  \ B

OPS  XAD XAD ??? ???  ??? ??? ??? CX8  BSP BSP BSP BSP  BSP BSP BSP BSP  \ C
OPS  ??? SHX SHX SHX  ??? MLL ??? ???  SUS SUS ??? PAD  AUS AUS ??? PAN  \ D
OPS  ??? SHX SHX ???  ??? MLH ??? ???  SBS SBS ??? POR  ADS ADS ??? PXR  \ E
OPS  ??? ??? SHX SHX  ??? MAD ??? ???  SUB SUB SUB ???  ADD ADD ADD ???  \ F

\     0   1   2   3    4   5   6   7    8   9   A   B    C   D   E   F

: 0F.  ( ADR CODE -- )
        DROP COUNT DUP
        DUP 0x70 AND 0x50 0x80 WITHIN TO MMX-REG
        CELLS OP-TABLE2 + @ EXECUTE
        0 TO MMX-REG ;


CREATE OP-TABLE

\     0   1   2   3    4   5   6   7    8   9   A   B    C   D   E   F

OPS  ALU ALU ALU ALU  ALA ALA PSS PPS  ALU ALU ALU ALU  ALA ALA PSS 0F.  \ 0
OPS  ALU ALU ALU ALU  ALA ALA PSS PPS  ALU ALU ALU ALU  ALA ALA PSS PPS  \ 1
OPS  ALU ALU ALU ALU  ALA ALA ES: DAA  ALU ALU ALU ALU  ALA ALA CS: DAS  \ 2
OPS  ALU ALU ALU ALU  ALA ALA SS: AAA  ALU ALU ALU ALU  ALA ALA DS: AAS  \ 3

OPS  INC INC INC INC  INC INC INC INC  DEC DEC DEC DEC  DEC DEC DEC DEC  \ 4
OPS  PSH PSH PSH PSH  PSH PSH PSH PSH  POP POP POP POP  POP POP POP POP  \ 5
OPS  PSA PPA BND ARP  FS: GS: D16 A16  PSI MLI PSI MLI  INB ISD OSB OSD  \ 6
OPS  BRA BRA BRA BRA  BRA BRA BRA BRA  BRA BRA BRA BRA  BRA BRA BRA BRA  \ 7

OPS  ALI ALI ??? ALI  TXB TXB TXB TXB  MOV MOV MOV MOV  MRS LEA MSR 8F.  \ 8
OPS  XGA XGA XGA XGA  XGA XGA XGA XGA  CBW CDQ CIS W8F  PSF PPF SAH LAH  \ 9
OPS  MV1 MV1 MV2 MV2  MVS MVS CPS CPS  TST TST STS STS  LDS LDS SCS SCS  \ A
OPS  MRI MRI MRI MRI  MRI MRI MRI MRI  MRI MRI MRI MRI  MRI MRI MRI MRI  \ B

OPS  SHF SHF RTN RTN  LXS LXS MVI MVI  ENT LEV RTF RTF  NT3 INT NTO IRT  \ C
OPS  SHF SHF SHF SHF  AAM AAD ??? XLT  FD8 FD9 FDA FDB  FDC FDD FDE FDF  \ D
OPS  LUP LUP LUP LUP  INP INP OTP OTP  JSR JMP CIS JMP  IND IND OTD OTD  \ E
OPS  LOK ??? RPZ REP  HLT CMC F6. F6.  CLC STC CLI STI  CLD STD FE. FF.  \ F

\     0   1   2   3    4   5   6   7    8   9   A   B    C   D   E   F

: DIS-OP  ( ADR -- ADR' )
        0>S
        FALSE TO PREFIX-OP           \ SMUB
        COUNT
        DUP 1 AND TO SIZE
        DUP CELLS OP-TABLE + @ EXECUTE
        PREFIX-OP 0=
        IF DEFAULT-16BIT? 0=
           IF   FALSE TO 16-BIT-DATA
                FALSE TO 16-BIT-ADDR
           ELSE TRUE  TO 16-BIT-DATA
                TRUE  TO 16-BIT-ADDR
           THEN
        THEN ;


0 VALUE NEXT-INST

: X".  ( ADDR -- ADDR' ) 
\       CR DUP  BASE-ADDR - 6 H.R  SPACE
    DUP C@ 2DUP SWAP 1+ SWAP ." '" TYPE ." '"
        + 2+
\       ."  C, " 1+ OVER + SWAP
\       DO I C@ 2 H.R  ."  C, " LOOP
\       COUNT  + 1+
;

[DEFINED] G. [IF]

: FLIT8.  ( ADDR -- ADDR' ) CR
       ." FLITERAL: "
       DUP DF@ G.  8 +
;

: FLIT10.  ( ADDR -- ADDR' ) CR
       ." FLITERAL: "
       DUP F@ G.  10 +
;

[ELSE]

: FLIT8.
       CR DUP  BASE-ADDR - 6 H.R SPACE
       ."  A; " DUP 8 OVER + SWAP
       DO I C@ 3 H.R ."  C," LOOP
       8 +
;

: FLIT10. ( ADDR -- ADDR' )
       CR DUP  BASE-ADDR - 6 H.R SPACE
       ."  A; "  DUP 10 OVER + SWAP
       DO I C@ 3 H.R ."  C," LOOP
       10 +
;

[THEN]

: VECT. ( ADDR -- ADDR' ) CR 
\ ." @"     DUP BASE-ADDR - 6 H.R ." :" SPACE
       ."  A; " DUP @ 8 H.R DUP CELL+ SWAP  @ ."  ,  \ " WordByAddr TYPE  CR    
;

\ : CONS. ( ADDR -- ) \ CR
\  \  ." @"     DUP BASE-ADDR - 6 H.R ." :" SPACE
\ SPACE      ."  CONSTANT "  @ 8 SPACES DUP LAB   IF ." @" WordByAddr TYPE ELSE DUP ARRAY2?  IF DROP ELSE  ." $"  1 H.R  CR THEN THEN
\ ;
: CONS. ( ADDR -- )
       CR DUP BASE-ADDR - 6 H.R SPACE
       ."  A; " @ 8 H.R ."  ,"
;


: USER. ( ADDR -- ) CR
  \     ." @"     DUP BASE-ADDR - 6 H.R ." :" SPACE
       ."  A; " @ 8 H.R ."  \ Relative in heap [hex]"   \ CELL+
CR
;

\ : UVAL. ( ADDR -- ADDR' ) CR
  \      ." @"     DUP BASE-ADDR - 6 H.R ." :" SPACE
\       ."  A; " DUP @ 8 H.R ."   \ Relative in heap [hex]" CELL+
\ CR
\ ;

: UVAL. ( ADDR -- ADDR' )
       CR DUP  BASE-ADDR - 6 H.R SPACE
       ."  A; " DUP @ 8 H.R ."  , \ Relative in heap [hex]" CELL+
;

VARIABLE ENDDB
VARIABLE ENDDD
VARIABLE FLAGDB
: TLABEL TRIGER3 @ IF 0 TRIGER3 ! ELSE OVER  .  ." :" 6 SPACES THEN ;
: DDADR? OVER @ DUP IMAGE-BEGIN > SWAP IMAGE-END < AND ;

: CODE. ( ADDR -- ) 4 SPACES
        DUP NextNFA 
        ?DUP
        IF OVER - 5 -
        ELSE 
           DUP   DP @   SWAP  -    ABS  DUP 512 > IF DROP 124 THEN \ no applicable end found
        THEN
BEGIN DUP  WHILE OVER LAB 0=   IF  OVER ARRAY?   TLABEL ELSE 24 SPACES   THEN
DDADR?  IF  OVER @  ARRAY2?  0=
IF  ." dd         @" OVER @ DUP @ ADD-LAB .  CR THEN  4  - SWAP 4 + SWAP   ELSE
DUP 4 < IF ." db         "
\ FLAGDB @ IF ." , " ELSE  ." db         "  THEN OVER C@ . 1- SWAP 1+ SWAP
2DUP OVER + DUP ENDDB !  SWAP DO I DUP ." $" C@ .  ENDDB @ 1-  <> IF   ." , "  THEN LOOP CR  DROP 0
		ELSE      OVER @ 0= IF  \     OVER @ . 4 - SWAP 4 + SWAP CR
	0 FLAGDB ! TRIGER4 @  IF 2DROP EXIT  ELSE  ." dd         $"  BEGIN OVER @ 0=   OVER  0 >  AND 
WHILE 4 - SWAP 4 + SWAP FLAGDB 1+! REPEAT FLAGDB @ . ."    DUP     (?)"  THEN CR 
     ELSE
		." db         " 4 -  OVER DUP 4 + DUP ENDDB ! SWAP DO I DUP 
		." $" C@ .  ENDDB @ 1-  <> IF   ." , "  THEN LOOP SWAP 4 + SWAP CR THEN
	   	THEN
THEN
REPEAT 2DROP

;


\ IMAGE-BEGIN - ����������� �������� ����� OVER @  IMAGE-BEGIN > IF ." DD" OVER @ . HERE . THEN

: DIS-DB   CR .S" DB " COUNT H.>S ;
: DIS-DW   CR .S" DW " W@+ H.>S ;
: DIS-DD   CR .S" DD " @+ H.>S ;
: DIS-DS   CR .S" STRING " 0x22 EMIT>S COUNT 2DUP >S + 0x22 EMIT>S ;

: FIND-REST-END ( xt -- addr | 0)
    DUP NextNFA DUP
    IF
      NIP
      NAME>C 1- \ Skip CFA field
    ELSE
      DROP
      DP @ - ABS 100 > IF 0 EXIT THEN \ no applicable end found
      DP @ 1-
    THEN

    BEGIN \ Skip alignment
      DUP C@ 0= WHILE 1-
    REPEAT ;




: INST  ( ADR -- ADR' )  
        DUP TO NEXT-INST
        COLS 0x29 <
        IF    DIS-OP
                S-BUF COUNT   TYPE
        ELSE    DUP DIS-OP
                OVER BASE-ADDR -  6
             \  H.R SPACE    \ ������ ������ ����� �� �������, 2DROP ������
             \    2DROP \  H.R SPACE ������
                    OVER TYPE-LAB 
           IF  2DROP ELSE 
      OVER LAB   IF 0 TRIGER3 ! 2DROP ELSE S" @" TYPE H.R S" :" TYPE SSPACE  THEN
           THEN
                DUP ROT
                2DUP - DUP>R 0x10 U> ABORT" DECOMPILER ERROR"
               2DROP \  DO I C@ 2 SPACES DROP ( H.N ) LOOP  \  2DROP ( H.N ) LOOP \  ���� �������
                R> 12 <    IF 9 EMIT THEN
		\ NEXT-INST C@ 0xE8 =
               \ IF  NEXT-INST 1+ @+ SWAP + 
                 \   CASE
              \     ['] _CLITERAL-CODE OF 0   ENDOF
              \     ['] _SLITERAL-CODE OF  0   ENDOF
              \     ['] _VECT-CODE     OF  0  ENDOF
           \        ['] _CONSTANT-CODE OF  0  ENDOF
             \      ['] _USER-CODE     OF 0  ENDOF
              \     ['] _CREATE-CODE   OF  0 ." // ������� ��� var ��� label: array[0..10] of Byte/Integer;" ENDOF
               \    ['] _USER-VALUE-CODE OF  0 ." // ������� ���" ENDOF
               \    ['] _FLIT-CODE10   OF 0 ENDOF
              \     ['] _FLIT-CODE8    OF  0 ENDOF
              \      ENDCASE
             \   THEN 
      ?DUP     IF  9 EMIT S-BUF COUNT TYPE THEN
	THEN    NEXT-INST C@ 0xE8 =
                IF  NEXT-INST 1+ @+ SWAP + 
                    CASE
                   ['] _CLITERAL-CODE OF CR  X".   ENDOF
                   ['] _SLITERAL-CODE OF CR  X".   ENDOF
                   ['] _VECT-CODE     OF  VECT. 2DROP RDROP ENDOF
                   ['] _CONSTANT-CODE OF  CONS. DROP RDROP ENDOF
                   ['] _USER-CODE     OF  USER. DROP RDROP ENDOF
                   ['] _CREATE-CODE   OF  CODE. DROP RDROP ENDOF
                   ['] _USER-VALUE-CODE OF  UVAL. DROP RDROP ENDOF
                   ['] _FLIT-CODE10   OF  FLIT10. ENDOF
                   ['] _FLIT-CODE8    OF  FLIT8. ENDOF
                    ENDCASE
                THEN 
  ;

: INST1  ( ADR -- ADR' )
	DUP TO NEXT-INST 
        COLS 0x29 <
        IF    DIS-OP
           \     S-BUF COUNT   TYPE 
        ELSE    DUP DIS-OP
               DUP ROT
                2DUP - DUP>R 0x10 U> ABORT" DECOMPILER ERROR"

              2DROP RDROP
        THEN

       ;

: (REST-AREA) ( addr1 addr2 -- )
\ if addr2 = 0 continue till RET instruction
                SWAP DUP TO NEXT-INST
              BEGIN
                        \ We do not look for JMP's because there may be
                         \ a jump in a forth word
                       CR
                        OVER 0= IF  NEXT-INST C@ 0xC3 <> 
                                ELSE 2DUP < INVERT
                                THEN
                WHILE   INST \ CR
                REPEAT  2DROP 
                ;





\ : ALLOT DUP HERE FINISH-ARRAY @  2! FINISH-ARRAY @ 2 CELLS + FINISH-ARRAY !  ALLOT ;




















FORTH DEFINITIONS
VECT REST-AREA                
\ ' (REST-AREA) TO REST-AREA 

\ : REST ( addr -- )
\    DUP HERE U> 0=  HERE 1- AND REST-AREA
\ ;

\ : SEE       ( "name" -- )
\    ' DUP FIND-REST-END ['] REST-AREA CATCH DROP
\ ;


: CALL-TYPE
\ WordByAddr TYPE
\ DUP ADD-CALL DUP ADD-LAB  \ ! ! ! ! !
1 TRIGER3 ! S" @@"  TYPE   NEAR_NFA   >R   COUNT  TYPE S" :" TYPE   DROP  R> 
   \ DUP SEE2 
 ;

: CALL-FIND  \ DUP SEE2
 HEX
 DUP FIND-REST-END
SWAP DUP TO NEXT-INST  
              BEGIN  
                        \ We do not look for JMP's because there may be
                         \ a jump in a forth word
                               OVER 0= IF   NEXT-INST   C@ 0xC3 <> 
                                ELSE 2DUP < INVERT
                                THEN
                WHILE  DUP INST1 DROP  DUP TO NEXT-INST
 DUP  C@ 0xE8 = IF NEXT-INST 1+ DUP @ + 4 +  DUP   ADD-CALL 				
CALL-TYPE? @  IF  RECURSE   ELSE    DROP  5 +  THEN
ELSE  DIS-OP  THEN   \ CR
                REPEAT  2DROP 
  ;


: SEE2       ( "addr" -- )
    DUP FIND-REST-END 2DUP END-WORD ! START-WORD !
 ['] REST-AREA CATCH DROP
;

: VAR-VECT  
  1+ @+ SWAP + 
                 CASE
                   ['] _CLITERAL-CODE OF 5 + X".   ENDOF
                   ['] _SLITERAL-CODE OF 5 +  X".   ENDOF
                   ['] _VECT-CODE     OF 5 + VECT.  DROP  ENDOF
                   ['] _CONSTANT-CODE OF 5 + CONS.  ENDOF
                   ['] _USER-CODE     OF 5 + USER.  ENDOF
                   ['] _CREATE-CODE   OF 5 + CODE.   ENDOF
                   ['] _USER-VALUE-CODE OF 5 + UVAL. ENDOF
                   ['] _FLIT-CODE10   OF 5 + FLIT10. ENDOF
                   ['] _FLIT-CODE8    OF 5 + FLIT8. ENDOF
                    ENDCASE  
;

: TYPE-VAR
 FINISH-VAR  @  START-VAR @ = IF EXIT THEN
 FINISH-VAR  @ 4 -
 BEGIN  DUP @  
 \ DUP   5 +  @  ARRAY? .      
DUP WordByAddr  TYPE 1 TRIGER3 !  DUP VAR-VECT \ SEE2 
 DUP  START-VAR @  =  0= WHILE CELL- REPEAT DROP  CR CR
;

: TYPE-ALL
START-LIST2  @ FINISH-LIST2 @ 4 - FINISH-LIST3 !
BEGIN   DUP @ 
DUP 1+ @+ SWAP + 
                    CASE
                \   ['] _CLITERAL-CODE OF 0   ENDOF
                 \  ['] _SLITERAL-CODE OF 0    ENDOF
                    ['] _VECT-CODE     OF 0   ENDOF
                   ['] _CONSTANT-CODE OF 0  ENDOF
                   ['] _USER-CODE     OF 0   ENDOF
                   ['] _CREATE-CODE   OF 0  ENDOF
                   ['] _USER-VALUE-CODE OF 0   ENDOF
                   ['] _FLIT-CODE10   OF 0  ENDOF
                   ['] _FLIT-CODE8    OF 0  ENDOF
                    ENDCASE
?DUP IF ADD-CALL ELSE ADD-VAR THEN DUP  FINISH-LIST3 @  =  0=   \  ADD-CALL  CR WordByAddr TYPE CR
  WHILE  CELL+ REPEAT  DROP
 TYPE-VAR
 FINISH-LIST @ BEGIN DUP @ DUP CALL-TYPE
 SEE2 DUP START-LIST @ = 0= WHILE CELL-  REPEAT DROP
  ;

: DISASM-LIST   
[']  (REST-AREA) TO  REST-AREA
 DUP START-LIST @ !    CALL-FIND
;


: DIS  ( ADR -- )
        BEGIN
                DUP
                CR INST
                KEY UPC DUP 0x1B = OVER [CHAR] Q = OR 0=
        WHILE
                CASE
                  [CHAR] Q OF DROP DIS-DB ENDOF
                  [CHAR] W OF DROP DIS-DW ENDOF
                  [CHAR] D OF DROP DIS-DD ENDOF
                  [CHAR] S OF DROP DIS-DS ENDOF
                         ROT DROP
                ENDCASE

        REPEAT 2DROP DROP ;


0 VALUE SHOW-NEXT?      \ DEFAULT TO NOT SHOWING NEXT INSTRUCTIONS

DECIMAL

TRUE VALUE SEE-KET-FL

VARIABLE  COUNT-LINE

: REST          ( ADR -- )
                20    COUNT-LINE !
                0 TO MAX_REFERENCE
                DUP TO NEXT-INST
                BEGIN
                        CR
                        NEXT-INST C@ 
                        DUP  0xC3 <> 
                        SWAP 0xE9 <> AND    \ NEXT, BEHIND US?
                        NEXT-INST MAX_REFERENCE U< OR
                        OVER HERE - 0x100 U> AND
                WHILE   INST
                        COUNT-LINE @ 1- DUP 0=  SEE-KET-FL AND
                           IF 9 EMIT ." \ Press <enter> | q | any" KEY UPC
                            DUP   0xD = IF 2DROP 1  ELSE
                              DUP [CHAR] Q = SWAP 0x1B =
                              OR IF  2DROP CR EXIT    THEN
                                DROP 20    THEN
                           THEN
                        COUNT-LINE !
                REPEAT  DROP ." END-CODE  "
                ;

: SEE       ( -- )
            ' REST ;


ONLY FORTH DEFINITIONS

.(  Ok) CR
TRUE WARNING !