anchor.diff:  
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   %% Dirty access regardless of activities - updates
  -
  +-spec dirty_write(Record::tuple()) -> 'ok'.
   dirty_write(Val) when is_tuple(Val), tuple_size(Val) > 2  ->
       Tab = element(1, Val),
       dirty_write(Tab, Val);
   dirty_write(Val) ->
       abort({bad_type, Val}).
   
  +-spec dirty_write(Tab::table(), Record::tuple()) -> 'ok'.
   dirty_write(Tab, Val) ->
       do_dirty_write(async_dirty, Tab, Val).
   
  
positive.code: index_match_object(_Tid, _Ts, Tab, Pat, _Attr, _LockKind) ->
      abort({bad_type, Tab, Pat}).
  
  index_read(Tab, Key, Attr) ->
      case get(mnesia_activity_state) of
  	{?DEFAULT_ACCESS, Tid, Ts} ->
  
negative.code: 	    {error, R}
      end.
  
  -spec start([{Option::atom(), Value::_}]) -> 'ok' | {'error', term()}.
  start(ExtraEnv) when is_list(ExtraEnv) ->
      case mnesia_lib:ensure_loaded(?APPLICATION) of
  	ok ->
  