anchor.diff:  	 t_atom('nofile'),
   	 t_atom('not_purged'),
   	 t_atom('native_code'),
  +	 t_atom('on_load'),
   	 t_atom('sticky_directory')]).	% only for the 'code' functions
   
   t_code_loaded_fname_or_status() ->
  
positive.code: type(erlang, byte_size, 1, Xs) ->
    strict(arg_types(erlang, byte_size, 1), Xs,
  	 fun (_) -> t_non_neg_integer() end);
  type(erlang, cancel_timer, 1, Xs) ->
    strict(arg_types(erlang, cancel_timer, 1), Xs,
  	 fun (_) -> t_sup(t_integer(), t_atom('false')) end);
  
negative.code: type(erlang, erase, 0, _) -> t_any();
  type(erlang, erase, 1, _) -> t_any();
  type(erlang, external_size, 1, _) -> t_integer();
  type(erlang, finish_after_on_load, 2, Xs) ->
    %% Internal BIF used by on_load.
    strict(arg_types(erlang, finish_after_on_load, 2), Xs,
  	 fun (_) -> t_atom('true') end);
  type(erlang, float, 1, Xs) ->
    strict(arg_types(erlang, float, 1), Xs, fun (_) -> t_float() end);
  type(erlang, float_to_list, 1, Xs) ->
  