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