anchor.diff:      {reply, Reply, State};
   handle_msg_result({reply, Reply, _, Timeout}, State) ->
       {reply, Reply, State, Timeout};
  +handle_msg_result({stop, Reason}, State) ->
  +    {stop, Reason, State};
   handle_msg_result({stop, Reason, _}, State) ->
       {stop, Reason, State}.
   
  
positive.code: handle_dispatch_init(Other) ->
      exit({bad_return_value, Other}).
  
  handle_dispatch_handle_msg({noreply, State}) ->
      {{noreply, State}, State};
  handle_dispatch_handle_msg({noreply, State, Timeout}) ->
      {{noreply, State, Timeout}, State};
  handle_dispatch_handle_msg({reply, Reply, State}) ->
      {{reply, Reply, State}, State};
  handle_dispatch_handle_msg({reply, Reply, State, Timeout}) ->
      {{reply, Reply, Timeout}, State};
  handle_dispatch_handle_msg({stop, Reason, State}) ->
      {{stop, Reason, State}, State};
  handle_dispatch_handle_msg(Other) ->
      exit({bad_result_value, Other}).
  
negative.code:     ignore.
  
  dispatch_handle_msg(Module, Msg, From, State) ->
      handle_dispatch_handle_msg(Module:handle_msg(Msg, From, State), State).
  
  handle_msg_result({noreply, _}, State) ->
      {noreply, State};
  