anchor.diff:  
   execute_and_put(F, Arg, Next, Key, Table) ->
       [{_Key,V}] = ets:lookup(Table, Key),
  -    Threads = V#dv.waitingThreads,
  +    Threads = V#dv.waiting_threads,
       BindingList = V#dv.bindingList,
       Value = F(Arg),
       V1 = #dv{value= Value, next =Next, lazy=false,bounded= true},
  
positive.code:           {reply, {Value, V#dv.next}, State};
           true ->
            if Lazy == true ->
                  WT = lists:append(V#dv.waitingThreads, [From]),
                  V1 = V#dv{waitingThreads=WT},
                  ets:insert(Table, {X, V1}),
  		replyToAll([Creator],ok),
                  {noreply, State};
            true ->
  		io:format("Process: ~w waiting for ~w~n",[From, X]),
                  WT = lists:append(V#dv.waitingThreads, [From]),
                  V1 = V#dv{waitingThreads=WT},
                  ets:insert(Table, {X, V1}),
  	  	%io:format("End process: ~w waiting for ~w~n",[From, X]),
                  {noreply, State}
  
negative.code:     if V#dv.bounded == true ->
  	{reply, ok, State};
       true ->
      	case V#dv.waiting_threads of [_H|_T] ->
          	{reply, ok, State};
         		 _ ->
          	ets:insert(Table, {Id, V#dv{lazy=true, creator=From}}),
  