anchor.diff:          nil ->
               undefined;
           _ ->
  -            next_key(V#dv.next, V#dv.type)
  +            next_key(V#dv.next, V#dv.type, State)
       end,
       Functions = V#dv.functions,
       case V#dv.bounded of
  
positive.code:                     fetch(BindId, FromId, FromP),
                      {noreply, State};
                  _ ->
                      NextKey = next_key(DV#dv.next, DV#dv.type),
                      BindingList = lists:append(DV#dv.binding_list, [FromId]),
                      DV1 = DV#dv{binding_list=BindingList, next=NextKey},
                      true = ets:insert(Variables, {TargetId, DV1}),
  
negative.code:     VariableAtom = list_to_atom(Variables),
      VariableAtom = ets:new(VariableAtom, [set, named_table, public,
                                            {write_concurrency, true}]),
      {ok, #state{partition=Partition, node=node(), variables=VariableAtom}}.
  
  handle_command({declare, Id, Type}, _From, State) ->
      {ok, Id} = internal_declare(Id, Type, State),
      {reply, {ok, Id}, State};
  
  handle_command({bind, Id, {id, DVId}}, From,
  