anchor.diff:        end),
         
      check(waitall([{n001,stopped},{n002,stopped}]),
  -        [ { ?WRITEREAD1,n001 }, 
  +        [ { ?WRITEREAD1,n001 },
             { ?WRITEREAD2,n002 } 
           ]).
   
  
positive.code:       end),
  
     spawn(fun() ->
        F18A = f18A:create(n002,n001,[{write,135},nop,nop,nop]),
        f18A:reset(F18A),
        f18A:step (F18A,wait),
        f18A:step (F18A,wait),
        f18A:step (F18A,wait),
  
negative.code: -define(WRITE_STOP,[reset,{fetchp,{t,16#1d5}},{bstore,{b,16#1d5}},{fetchp,{t,678}},nop,stop]).
  -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
  
  