CODE _2CONSTANT-CODE
     LEA  EBP, -4 [EBP]
     MOV  [EBP], EAX
     POP EAX

     MOV EDX, 4 [EAX]
     LEA EBP, -4 [EBP]
     MOV [EBP], EDX
     MOV EAX, [EAX]
    RET
END-CODE

CODE _2TOVALUE-CODE
     POP EBX
     LEA EBX, -9 [EBX]
     MOV [EBX], EAX

     MOV EDX, [EBP]
     MOV [EAX], EDX
     MOV EDX, 4 [EBP]
     MOV 4 [EAX], EDX
     LEA EBP, 0xC [EBP]
     MOV EAX, -4 [EBP]
    RET
END-CODE

: 2VALUE ( x "<spaces>name" -- )
  HEADER
  ['] _2CONSTANT-CODE COMPILE,  , ,
  ['] _2TOVALUE-CODE COMPILE,
;

: TO \ 94 CORE EXT
\ Интерпретация: ( x "<spaces>name" -- )
\ Пропустить ведущие пробелы и выделить name, ограниченное пробелом.
\ Записать x в name. Неопределенная ситуация возникает, если name не
\ определено через VALUE.
\ Компиляция: ( "<spaces>name" -- )
\ Пропустить ведущие пробелы и выделить name, ограниченное пробелом.
\ Добавить семантику времени выполнения, данную ниже, к текущему определению.
\ Неопределенная ситуация возникает, если name не определено через VALUE.
\ Время выполнения: ( x -- )
\ Записать x в name.
\ Примечание: Неопределенная ситуация возникает, если POSTPONE или [COMPILE]
\ применяются к TO.
  '
  9 + STATE @
  IF COMPILE, ELSE EXECUTE THEN
; IMMEDIATE

: VALUE ( x "<spaces>name" -- ) \ 94 CORE EXT
  [T] HEADER [I]
  CONSTANT-CODE COMPILE, ,
  TOVALUE-CODE COMPILE,
;

: _2CONSTANT-CODE   $ -4 @P=A A=RS $ 4 D=@A $ -8 @P=D A=@A $ -8 Pa  ;
: _2TOVALUE-CODE    B=RS $ -0D @B=A D=@P $ -9 @B=D $ 8 Pa $ -4 A=@P ;

: 2VALUE ( x "<spaces>name" -- )
  HEADER
  ['] _2CONSTANT-CODE COMPILE,  , ,
  ['] _2TOVALUE-CODE COMPILE,  ;

: 2TO
  '
  13 + STATE @
  IF COMPILE, ELSE EXECUTE THEN
; IMMEDIATE

STARTLOG
SEE _2CONSTANT-CODE
SEE _2TOVALUE-CODE

CODE _2CONSTANT-CODE
5D0647 8945FC           MOV     FC [EBP] , EAX
5D064A 58               POP     EAX
5D064B 8B5004           MOV     EDX , 4 [EAX]
5D064E 8955F8           MOV     F8 [EBP] , EDX
5D0651 8B00             MOV     EAX , [EAX]
5D0653 8D6DF8           LEA     EBP , F8 [EBP]
5D0656 C3               RET     NEAR
END-CODE
( 16 bytes, 7 instructions )


CODE _2TOVALUE-CODE
5D0673 5B               POP     EBX
5D0674 8943F3           MOV     F3 [EBX] , EAX
5D0677 8B5500           MOV     EDX , 0 [EBP]
5D067A 8953F7           MOV     F7 [EBX] , EDX
5D067D 8D6D08           LEA     EBP , 8 [EBP]
5D0680 8B45FC           MOV     EAX , FC [EBP]
5D0683 C3               RET     NEAR
END-CODE
( 17 bytes, 7 instructions )

Ok

: _CONSTANT-CODE    DUP A=RS $ 5 A=@A ;
: _TOVALUE-CODE     B=RS @B=A DROP ;

: VALUE ( x "<spaces>name" -- )
  HEADER
  ['] _CONSTANT-CODE COMPILE,
  ['] _TOVALUE-CODE COMPILE, , ;

: _2CONSTANT-CODE   $ -4 @P=A $ -8 Pa A=RS $ 9 D=@A @P=D $ 5 A=@A  ;
: _2TOVALUE-CODE    B=RS D=@P @B=A $ 4 @B=D 2DROP ;

: 2VALUE ( x "<spaces>name" -- )
  HEADER
  ['] _2CONSTANT-CODE COMPILE,
  ['] _2TOVALUE-CODE COMPILE, , , ;

: TO
  ' 5 +
  STATE @ IF COMPILE, ELSE EXECUTE THEN ; IMMEDIATE

0 VALUE abc
123 =:ABC

[IFNDEF] BREAK
: BREAK POSTPONE EXIT POSTPONE THEN ;  IMMEDIATE
[THEN]


: _2CONSTANT-CODE   R> 2@ ;

: 2VALUE ( x "<spaces>name" -- )
  HEADER
  ['] _2CONSTANT-CODE COMPILE, , , ;

: TO
  >IN @
  ' 1+ DUP REL@  ['] _2CONSTANT-CODE 4 -  =
  IF NIP CELL+ STATE @ IF  LIT, POSTPONE  2! ELSE 2! THEN
  BREAK  DROP
  >IN ! POSTPONE TO  ; IMMEDIATE

: 2VALUE CREATE , , DOES> 2@ ;
: 2TO ' >BODY STATE @ IF LIT, POSTPONE  2! ELSE  2! THEN  ;  IMMEDIATE

\ создать инициализированную переменную,
\ возвращающую по-умолчанию собственно значение.
: VALUE ( x / name --> )
        HEADER
          COMPILE (value)
          COMPILE (store)
          COMPILE (CREATE)
          A,
        ;CREATE ;

\ создать неинициализированную переменную
: USER-VALUE ( / name --> )
             HEADER
               COMPILE (uvalue)
               COMPILE (ustore)
               COMPILE (USER)
               ADDR USER-PLACE A,
             ;CREATE ;

\ сохранить значение n в VALUE переменной
: TO ( n / name --> ) ' TOKEN + REGULAR ; IMMEDIATE

\ прочесть содержимое VALUE переменной
: FROM ( / name --> xt ) ' [ 2 TOKEN * LIT, ] + REGULAR ; IMMEDIATE

\ создать именованую VALUE переменную, хранящую число двойной длины
: DVALUE ( d / name --> )
         NextWord SHEADER
           COMPILE (DVAL)
           COMPILE (DTOV)
           COMPILE (CREATE)
           D,
         ;CREATE ;


\ создать пользовательскую именованую переменную двойной длины
: USER-DVAL ( --> d )
            NextWord SHEADER
              COMPILE (DUVAL)
              COMPILE (DTOUVAL)
              COMPILE (USER)
              CELL USER-PLACE ,
              1 DOUBLES USER-ALLOT
            ;CREATE ;