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: -define(READWRITE1,[reset,{fetchp,{t,16#1d5}},{bstore,{b,16#1d5}},{fetchb,{t,678}},nop,nop,nop,nop,nop]).
  -define(READWRITE2,[reset,{fetchp,{t,16#1d5}},{bstore,{b,16#1d5}},{fetchp,{t,678}},nop,{storeb,{b,16#1d5},{t,678}},nop,nop,nop]).
  -define(WRITEREAD1,[reset,nop,nop,nop,nop,{fetchp,{t,16#1d5}},{bstore,{b,16#1d5}},{fetchb,{t,678}},nop]).
  -define(WRITEREAD2,[reset,{fetchp,{t,16#1d5}},{bstore,{b,16#1d5}},{fetchp,{t,678}},nop,{storeb,{b,16#1d5},{t,678}},nop]).
  
  -define(WRITEREAD1X,[reset,nop,nop,read,{read,135},nop,eof]).
  -define(WRITEREAD2X,[reset,{write,135},{write,ok},nop,nop,nop,eof]).
  
  % EUNIT TESTS
  
  
negative.code:    ok;
  
  check(Trace,[{Expected,ID}|T]) ->
     assertEqual(ok,verify:compare(Expected,trace:extract(Trace,ID),noprint)),
     check(Trace,T).
  
  waitall([]) ->
  