anchor.diff:      NFunc = check_types_functions(Functions, NNTypes),
       {{NFunc, Typedefs, NStructs}, NNTypes}.
   
  --spec check_type(term(), term()) -> term().
  +-spec check_type(ctype(), type_table()) -> boolean().
   check_type(Type, Types) ->
       case dict:is_key(Type, Types) of
   	true ->
  
positive.code: 
  count_in_list([], _, Acc) -> Acc;
  count_in_list([H|T], E, Acc) ->
      case H=:=E of
  	true -> count_in_list(T, E, Acc+1);
  	false -> count_in_list(T, E, Acc)
      end.
  
negative.code:     end.
  
  %% @doc builds a typetable and symbol table out of type information
  -spec build(nifty_clangparse:defs()) -> {type_table(), symbol_table()}.
  build({Functions, Typedefs, Structs} = Dicts) ->
      Empty_Tables = {dict:new(), dict:new()}, % { Types, Symbols }
      Tables_With_Functions = build_entries(Empty_Tables,
  