anchor.diff:  		{'DOWN', Monitor, _, Pid, Reason} ->
   		    {error, {"Got exit", [Name, Reason]}};
   		{Name, Self, Reply} ->
  -		    erlang:demonitor(Monitor),
  +                    erlang:demonitor(Monitor, [flush]),
   		    Reply
   	    end;
   	Error ->
  
positive.code: 	{From, deactivate} ->
  	    do_stop(Cp),
  	    reply(From, Name, deactivated),
  	    unlink(From),
  	    exit(shutdown);
  
  	{From, get_checkpoint} ->
  
negative.code: 	{From, deactivate} ->
  	    do_stop(Cp),
  	    reply(From, Name, deactivated),
  	    exit(shutdown);
  
  	{_From, {mnesia_down, Node}} ->
  