anchor.diff:      end;
   check_list_([{propargs,M,F,Args}|_], M, F, 1) ->
       %% Convert args sent as a proplist by extracting Args from it 
  -    NewArity = length(Args),
  +    NewArity = case Args of
  +		   [{args, Args1}] -> length(Args1);
  +		   _ -> length(Args)
  +	       end,
       {{M, F, NewArity}, Args}; %% No more check, accepted!!
   check_list_([{verify, {Mv,Fv}}|T], M, F, Arity) ->
       %% Verify by calling verification function
  
positive.code:   when C == call;
         C == cast ->
      ?dbg("control(~p)~n", [Req]),
      {send, bert:to_binary(Req), St}.
  
  %%--------------------------------------------------------------------
  %% @doc
  
negative.code:     case lists:keyfind(K, 1, Opts) of
  	{_, V} -> [convert_type(TypeConv, V) | convert_args(T, Opts)];
  	false  -> [Default | convert_args(T, Opts)]
      end;
  convert_args([H|T], Opts) when is_atom(H) ->
      %% Is this a valid case ??
      case lists:keyfind(H, 1, Opts) of
  	{_, V} -> [V | convert_args(T, Opts)];
  	false  -> error({missing_argument, H})
      end;
  convert_args([], _) ->
      [].
  