anchor.diff:  
   %% Internal functions
   
  -put(Type, Value, Next, Key, Table) ->
  +write(Type, Value, Next, Key, Table) ->
       [{_Key,V}] = ets:lookup(Table, Key),
       Threads = V#dv.waiting_threads,
       BindingList = V#dv.binding_list,
  
positive.code:                         _ ->
                              case is_inflation(V#dv.type, V#dv.value, Value) of
                                  true ->
                                      put(V#dv.type, Value, NextKey, Id, Table),
                                      {reply, {ok, NextKey}, State};
                                  false ->
                                      {reply, error, State}
                              end
                      end;
                  false ->
                      put(V#dv.type, Value, NextKey, Id, Table),
                      {reply, {ok, NextKey}, State}
              end
          end;
  
negative.code:             Value = FetchDV#dv.value,
              Next = FetchDV#dv.next,
              Type = FetchDV#dv.type,
              write(Type, Value, Next, FromId, Table),
              reply_to_all([FromP], {ok, Next});
          true ->
              [{_,DV}] = ets:lookup(Table, FromId),
  