anchor.diff:              {ok, State};
           {error, notfound} ->
               {ok, State};
  +        {error, disconnected} ->
  +            run(counter_val, KeyGen, _ValueGen, State);
           {error, Reason} ->
               {error, Reason, State}
       end.
  
positive.code:             {ok, State};
          {error, notfound} ->
              {error, {not_found, Key}, State};
          {error, Reason} ->
              {error, Reason, State}
      end;
  
negative.code:             {ok, State};
          {error, notfound} ->
              {ok, State};
          {error, disconnected} ->
              run(get, KeyGen, _ValueGen, State);
          {error, Reason} ->
              {error, Reason, State}
      end;
  