anchor.diff:      Mod1 = Handler1#handler.module,
       State = Handler1#handler.state,
       case catch Mod1:Func(Event, State) of
  -	{ok, State1} -> 
  +	{ok, State1} ->
   	    {ok, Handler1#handler{state = State1}};
  -	{ok, State1, hibernate} -> 
  +	{ok, State1, hibernate} ->
   	    {hibernate, Handler1#handler{state = State1}};
   	{swap_handler, Args1, State1, Handler2, Args2} ->
   	    do_swap(Mod1, Handler1, Args1, State1, Handler2, Args2, SName);
  
positive.code: 
  %% server_notify(Event, Func, MSL, SName) -> MSL'
  
  server_notify(Event, Func, [Handler|T], SName) -> 
      case server_update(Handler, Func, Event, SName) of
  	{ok, Handler1} ->
  	    {Hib, NewHandlers} = server_notify(Event, Func, T, SName),
  
negative.code: report_error(_Handler, shutdown, _, _, _)           -> ok;
  report_error(_Handler, {swapped,_,_}, _, _, _)      -> ok;
  report_error(Handler, Reason, State, LastIn, SName) ->
      Reason1 =
  	case Reason of
  	    {'EXIT',{undef,[{M,F,A,L}|MFAs]}} ->
  		case code:is_loaded(M) of
  