anchor.diff:    [t_sup(t_iolist(), t_binary())];
   arg_types(erlang, integer_to_list, 1) ->
     [t_integer()];
  +arg_types(erlang, integer_to_list, 2) ->
  +  [t_integer(), t_from_range(2, 36)];
   arg_types(erlang, is_alive, 0) ->
     [];
   arg_types(erlang, is_atom, 1) ->
  
positive.code:   [t_list(t_byte())];
  arg_types(erlang, list_to_integer, 1) ->
    [t_list(t_byte())];
  arg_types(erlang, list_to_pid, 1) ->
    [t_string()];
  arg_types(erlang, list_to_tuple, 1) ->
  
negative.code:   strict(arg_types(erlang, hd, 1), Xs, fun ([X]) -> t_cons_hd(X) end);
  type(erlang, integer_to_list, 1, Xs) ->
    strict(arg_types(erlang, integer_to_list, 1), Xs,
  	 fun (_) -> t_string() end);
  type(erlang, integer_to_list, 2, Xs) ->
    strict(arg_types(erlang, integer_to_list, 2), Xs,
  	 fun (_) -> t_string() end);
  type(erlang, info, 1, Xs) -> type(erlang, system_info, 1, Xs); % alias
  type(erlang, iolist_size, 1, Xs) ->
  