anchor.diff:  	    end
       end.
   
  -check_list([{accept, M}|_], M, F, A) ->  {{M, F, A}, []};
  -check_list([{accept, M, F, A}|_], M, F, A) -> {{M, F, A}, []};
  +check_list([{accept, M}|_], M, F, A) ->  {{M, F, A}, keep};
  +check_list([{accept, M, F, A}|_], M, F, A) -> {{M, F, A}, keep};
   check_list([{reject, M}|_], M, _, _) -> false;
   check_list([{reject, M, F, A}|_], M, F, A) -> false;
   check_list([{propargs,M,F,Args}|_], M, F, 1) ->
  
positive.code: 	    {ok,State}
      end.
  
  convert_args([H|T], Opts) when is_atom(H) ->
      case lists:keyfind(H, 1, Opts) of
  	{_, V} -> [V | convert_args(T, Opts)];
  
negative.code: 		false ->
  		    case erlang:is_builtin(M,F,A) of
  			true ->
  			    {ok, {M,F,A}, Conv};
  			false ->
  			    {error, ?SERV_ERR_NO_SUCH_FUNCTION,
  			     <<"function not defined">>}
  