anchor.diff:     B = CPU#cpu.b,     
      T = CPU#cpu.t,
      case write(CPU,B,T) of 
  -        {ok,RAM} ->
  -            {ok,pop(ds,CPU#cpu{ ram = RAM },CPU#cpu.s)};
  +        {ok,ram,Mem} ->
  +            {ok,pop(ds,CPU#cpu{ ram = Mem },CPU#cpu.s)};
  +
  +        {ok,rom,Mem} ->
  +            {ok,pop(ds,CPU#cpu{ rom = Mem },CPU#cpu.s)};
   
           Other ->
               Other
  
positive.code: test_init(CPU,[{rom,A,W} |T]) -> test_init(CPU#cpu{rom=array:set(A,W,CPU#cpu.rom)},T).
  
  test_verify(Expected,Actual) ->
  %  ?debugFmt("EXPECTED: ~p",[Expected#cpu.p]),
  %  ?debugFmt("ACTUAL:   ~p",[Actual#cpu.p]),
     ?assertEqual(Expected,Actual).
  
  assert ([],_CPU) ->
  
negative.code:    P = CPU#cpu.p,     
     T = CPU#cpu.t,
     case write(CPU,P,T) of 
          {ok,ram,Mem} ->
              {ok,pop(ds,
                      CPU#cpu{ p=inc(P),
                               ram=Mem 
                             },
                      CPU#cpu.s)};
  
          {ok,rom,Mem} ->
              {ok,pop(ds,
                      CPU#cpu{ p=inc(P),
                               rom=Mem 
                             },
                      CPU#cpu.s)};
  
  
          Other ->
              Other
  