anchor.diff:  			    check_type(T, Types)
   		    end;
   		{userdef, [H|_]} ->
  -		    case string:right(H, 1) of
  -			")" ->
  -			    %% function pointer
  -			    false;
  -			_ ->
  -			    %% ok
  -			    true
  -		    end;
  +		    string:right(H, 1) =/= ")";  %% function pointer
   		{struct, _} ->
   		    true;
   		{base, _} ->
  
positive.code: check_types_list([], _) ->
      true;
  check_types_list([{_, Type}|Tail], Types) ->
      case check_type(Type, Types) of
  	true ->
  	    check_types_list(Tail, Types);
  	false ->
  	    false
      end.
      
  check_types_types(Types) ->
      Names = dict:fetch_keys(Types),
  
negative.code: check_types_functions([], _, NFunc, _) ->
      NFunc;
  check_types_functions([Func|Tail],OldFunc,NewFunc,Types) ->
      {RetType, ArgList} = dict:fetch(Func, OldFunc),
      case check_type(RetType, Types) andalso check_types_list(ArgList, Types) of
  	true ->
  	    check_types_functions(Tail, 
  