anchor.diff:          NextKey0 == undefined ->
               Next = State#state.clock + 1,
               NextKey={Next, Partition},
  -            declare(NextKey);
  +            declare_by_id(NextKey, Table);
           true ->
               {Next, _} = NextKey0,
               NextKey = NextKey0
  
positive.code:         NextKey0 == undefined ->
              Next = Clock + 1,
              NextKey = {Next, Partition},
              declare(NextKey),
              V1 = V#dv{next=NextKey},
              true = ets:insert(Table, {X, V1}),
              {reply, {ok, NextKey}, State#state{clock=Next}};
  
negative.code:             [{_Key,V}] = ets:lookup(Table, Id),
              {NextClock, NextKey} = next_key(V#dv.next,
                                              State#state.clock,
                                              Partition,
                                              Table),
              put(Value, NextKey, Id, Table),
              {reply, {ok, NextKey}, State#state{clock=NextClock}}
          end;
  