anchor.diff:  stop(M, Reason, Timeout) ->
       gen:stop(M, Reason, Timeout).
   
  -rpc(M, Cmd) -> 
  +rpc(M, Cmd) ->
       {ok, Reply} = gen:call(M, self(), Cmd, infinity),
       Reply.
   
  
positive.code: 		       id = Id,
  		       supervised = Parent},
      server_add_handler(Mod, Handler, Args, MSL);
  server_add_sup_handler(Mod, Args, MSL, Parent) -> 
      link(Parent),
      Handler = #handler{module = Mod,
  		       supervised = Parent},
  
negative.code: 
  %% server_delete_handler(HandlerId, Args, MSL) -> {Ret, MSL'}
  
  server_delete_handler(HandlerId, Args, MSL, SName) ->
      case split(HandlerId, MSL) of
  	{Mod, Handler, MSL1} ->
  	    {do_terminate(Mod, Handler, Args,
  