anchor.diff:        end),
   
      spawn(fun() ->
  -%     F18A = f18A:create(n002,n001,[{write,135},nop,nop,nop]),
         F18A = f18A:create(n002,n001,[ 16#04b12,16#001d5,16#002a6,16#089b2,16#2c9b2,16#2c9b2 ]),
         f18A:reset(F18A),
  +      f18A:step (F18A,wait),
  +      f18A:step (F18A,wait),
         f18A:step (F18A,wait),
         f18A:step (F18A,wait),
         f18A:step (F18A,wait),
  
positive.code:    ok;
  
  check(Trace,[{Expected,ID}|T]) ->
     ?assertEqual(ok,verify:compare(Expected,trace:extract(Trace,ID),noprint)),
     check(Trace,T).
  
  waitall([]) ->
  
negative.code:    M = setup("-- WRITE-READ TEST/GO"),
  
     spawn(fun() ->
        F18A = f18A:create(n001,n002,[16#2c9b2,16#04b02,16#001d5,16#2c9b2,16#2c9b2,16#2c9b2,16#2c9b2 ]),
        f18A:breakpoint(F18A,3),
        f18A:reset     (F18A),
        f18A:go        (F18A,wait),
        M ! { n001,stopped } 
        end),
  
     spawn(fun() ->
        F18A = f18A:create(n002,n001,[ 16#04b12,16#001d5,16#002a6,16#089b2,16#2c9b2,16#2c9b2 ]),
        f18A:breakpoint(F18A,4),
        f18A:reset     (F18A),
        f18A:go        (F18A,wait),
        M ! { n002,stopped } 
        end),
        
     check(waitall([{n001,stopped},{n002,stopped}]),
          [ { ?WRITEREAD1,n001 },
            { ?WRITEREAD2,n002 }
          ]).
  
  writeread_step_test() ->
     M = setup("-- WRITE-READ TEST/STEP"),
  
     spawn(fun() ->
        F18A = f18A:create(n001,n002,[16#2c9b2,16#04b02,16#001d5,16#2c9b2,16#2c9b2,16#2c9b2,16#2c9b2 ]),
        f18A:reset(F18A),
        f18A:step (F18A,wait),
  