anchor.diff:              end
       end;
   
  -handle_command({next, X}, _From,
  -               State=#state{variables=Variables}) ->
  -    [{_Key,V}] = ets:lookup(Variables, X),
  -    NextKey0 = V#dv.next,
  +handle_command({next, Id}, _From,
  +               State=#state{variables=Variables}) ->
  +    [{_Key, V=#dv{next=NextKey0}}] = ets:lookup(Variables, Id),
       case NextKey0 of
           undefined ->
               {ok, NextKey} = declare_next(V#dv.type, State),
  -            V1 = V#dv{next=NextKey},
  -            true = ets:insert(Variables, {X, V1}),
  +            true = ets:insert(Variables, {Id, V#dv{next=NextKey}}),
               {reply, {ok, NextKey}, State};
           _ ->
               {reply, {ok, NextKey0}, State}
  
positive.code:     {noreply, State}.
  
  handle_handoff_command(?FOLD_REQ{foldfun=FoldFun, acc0=Acc0}, _Sender,
                         #state{variables=Variable}=State) ->
      F = fun({Key, Operation}, Acc) -> FoldFun(Key, Operation, Acc) end,
      Acc = ets:foldl(F, Acc0, Variable),
      {reply, Acc, State}.
  
  handoff_starting(_TargetNode, State) ->
  
negative.code:                 end
      end;
  
  handle_command({reply_fetch, FromId, FromP, FetchDV=#dv{value=Value, next=Next, type=Type}}, _From,
                 State=#state{variables=Variables}) ->
      case FetchDV#dv.bounded of
          true ->
              write(Type, Value, Next, FromId, Variables),
              reply_to_all([FromP], {ok, Next});
          false ->
  