anchor.diff:  ;WORD
   
   
  -
  -\ - Defining: `:`, `;`
  +\ Defining words
  +:WORD :
  +  \ Call (CREATE), which builds a partial header.
  +  code-(CREATE) lit jsr,
  +  \ Now A is the code field address.
  +  [DOCOL] lit [ra] set, \ Which we fill with DOCOL
  +  \ Everything is ready for the compilation to write xt's into this definition.
  +  \ So I just need to set compilation mode and stand back.
  +  \ TODO New : words need to be hidden, new CREATE words not. Now, neither is.
  +  var-STATE lit rx set,
  +  1 lit [rx] set,
  +;WORD
  +
  +:WORD ;
  +  \ Compile EXIT into the definition.
  +  var-DSP lit rx set, \ X - *dsp
  +  [rx] ry set,        \ Y - dsp
  +  cfa-EXIT lit [ry] set, \ Compile the EXIT
  +  1 lit ry add,
  +  ry [rx] set,        \ Write the new DSP
  +
  +  \ Finally, switch back to interpreting mode.
  +  var-STATE lit rx set,
  +  0 lit [rx] set,
  +;WORD
  +
  +
   \ - Debugging: `SEE` (optional)
   
   \ TODO QUIT KEY EMIT REFILL
  
positive.code:   ra ri add,
  ;WORD
  
  :WORD EXIT ri poprsp, ;WORD
  
  DVAR VAR-LATEST (LATEST)
  
  
negative.code: ;WORD
  
  
  \ Parses a word and assembles a new (partial) dictionary header for it.
  \ Returns the code field address in A.
  DH CONSTANT code-(CREATE)
    \ Read the current (target) data space pointer, because that's the new LATEST.
    var-dsp lit ra set, \ A - *dsp
    [ra] rb set,        \ B - dsp
  