anchor.diff:  		false ->
   		    check_list(T, M, F, A);
   		{_, {_,_,_} = MFA1} ->
  -		    {MFA1, []}
  +		    {MFA1, keep}
   	    end
       end;
  -check_list([M|_], M, F, A)             -> {{M, F, A}, []};
  -check_list([{M,F,A} = MFA|_], M, F, A) -> {MFA, []};
  +check_list([M|_], M, F, A)             -> {{M, F, A}, keep};
  +check_list([{M,F,A} = MFA|_], M, F, A) -> {MFA, keep};
   check_list([_|T], M, F, A)             -> check_list(T, M, F, A);
   check_list([], _, _, _)                -> false.
   
  
positive.code: get_session(IP, Port, Protos, Opts, Timeout) ->
      case whereis(?MODULE) of
  	undefined ->
  	    exo_socket:connect(IP, Port, Protos, Opts, Timeout);
  	_ ->
  	    case gen_server:call(
  		   ?MODULE, {get_session, IP, Port, [Protos, Opts, Timeout]}) of
  		connect ->
  		    exo_socket:connect(IP, Port, Protos, Opts, Timeout);
  		rejected ->
  		    {error, no_connection};
  		Pid when is_pid(Pid) ->
  		    {ok, Pid}
  	    end
      end.
  
  reuse_init(_, _) ->
  
negative.code: check_list([{verify, {Mv,Fv}}|T], M, F, A) ->
      case Mv:Fv(M, F, A) of
  	continue -> check_list(T, M, F, A);
  	{_,_,_} = MFA1 -> {MFA1, keep};
  	{{_,_,_}, Conv} = Reply when is_list(Conv); Conv==keep -> Reply;
  	false -> false
      end;
  check_list([{redirect, [_|_] = Ms}|T], M, F, A) ->
  