anchor.diff:  build_function_entries({Types, Symbols}, Name, Data, Dicts) ->
       {ReturnType, ArgumentList} = Data,
       Types_With_Return = build_type_entry(Types, ReturnType),
  -    Symbol_With_Return = dict:append(Name, {return, ReturnType}, Symbols), 
  -    build_arguments(
  -      {Types_With_Return, Symbol_With_Return},
  -      Dicts,
  -      Name,
  -      ArgumentList).
  -
  -build_arguments(Tables, Dicts, FName, Args) -> build_arguments(Tables, Dicts, FName, 0, Args).
  +    Symbol_With_Return = dict:append(Name, {return, ReturnType}, Symbols),
  +    Tables = {Types_With_Return, Symbol_With_Return},
  +    build_arguments(Tables, Dicts, Name, 0, ArgumentList).
   
   build_arguments(Tables, _, _, _, []) -> Tables;
   build_arguments({Types, Symbols}, Dicts, FunctionName, Pos, [Arg|T]) ->
  
positive.code:     NFunc = check_types_functions(Functions, NNTypes),
      {{NFunc, Typedefs, NStructs}, NNTypes}.
  
  -spec check_type(term(), term()) -> term().
  check_type(Type, Types) ->
      case dict:is_key(Type, Types) of
  	true ->
  
negative.code: 		    dict:store(Type, {userdef, Def}, TypeTable)
  	    end
      end.
  