anchor.diff:  deeep(N) ->
       deeep(N,[hello]).
   
  -
  -types(Config) when is_list(Config) ->
  +erl_bif_types(Config) when is_list(Config) ->
       c:l(erl_bif_types),
       case erlang:function_exported(erl_bif_types, module_info, 0) of
   	false ->
   	    %% Fail cleanly.
   	    ?line ?t:fail("erl_bif_types not compiled");
   	true ->
  -	    types_1()
  -    end.
  -
  -types_1() ->
  -    ?line List0 = erlang:system_info(snifs),
  +	    erl_bif_types_1()
  +    end.
  +
  +erl_bif_types_1() ->
  +    List0 = erlang:system_info(snifs),
   
       %% Ignore missing type information for hipe BIFs.
  -    ?line List = [MFA || {M,_,_}=MFA <- List0, M =/= hipe_bifs],
  -
  -    case [MFA || MFA <- List, not known_types(MFA)] of
  -	[] ->
  -	    types_2(List);
  -	BadTypes ->
  -	    io:put_chars("No type information:\n"),
  -	    io:format("~p\n", [lists:sort(BadTypes)]),
  -	    ?line ?t:fail({length(BadTypes),bifs_without_types})
  -    end.
  -
  -types_2(List) ->
  +    List = [MFA || {M,_,_}=MFA <- List0, M =/= hipe_bifs],
  +
  +    KnownTypes = [MFA || MFA <- List, known_types(MFA)],
  +    io:format("There are ~p BIFs with type information in erl_bif_types.",
  +	      [length(KnownTypes)]),
  +    erl_bif_types_2(KnownTypes).
  +
  +erl_bif_types_2(List) ->
       BadArity = [MFA || {M,F,A}=MFA <- List,
   		       begin
   			   Types = erl_bif_types:arg_types(M, F, A),
  
positive.code:     
  id(I) -> I.
  
  
negative.code: suite() -> [{ct_hooks,[ts_install_cth]}].
  
  all() -> 
      [erl_bif_types, specs, improper_bif_stubs,
       t_list_to_existing_atom, os_env, otp_7526,
       display,
       atom_to_binary, binary_to_atom, binary_to_existing_atom,
       min_max].
  