anchor.diff:    strict(arg_types(erlang, list_to_float, 1), Xs, fun (_) -> t_float() end);
   type(erlang, list_to_integer, 1, Xs) ->
     strict(arg_types(erlang, list_to_integer, 1), Xs,
  +	 fun (_) -> t_integer() end);
  +type(erlang, list_to_integer, 2, Xs) ->
  +  strict(arg_types(erlang, list_to_integer, 2), Xs,
   	 fun (_) -> t_integer() end);
   type(erlang, list_to_pid, 1, Xs) ->
     strict(arg_types(erlang, list_to_pid, 1), Xs, fun (_) -> t_pid() end);
  
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) ->
  