anchor.diff:      State1 = do_update_segment(Id, Offset, Data, State),
       {noreply, State1}.
   
  +handle_info({'DOWN', _Ref, process, _Pid, Info}, State) ->
  +    {stop, Info, State};
   handle_info(_Info, State) ->
       {noreply, State}.
   
  
positive.code: %% ===================================================================
  
  start(Init) ->
      gen_server:start(?MODULE, {0, Init, #state{}}, []).
  
  start_link(Init) ->
      gen_server:start_link(?MODULE, {0, Init, #state{}}, []).
  
  stop(Pid) when is_pid(Pid) ->
      gen_server:call(Pid, stop).
  
negative.code:          }).
  
  -record(state, {
            owner :: pid(),
            segments = [] :: list(#seg{}),
            caps = [] :: list({non_neg_integer(), #capability{}})
           }).
  