anchor.diff:  type(erlang, byte_size, 1, Xs) ->
     strict(arg_types(erlang, byte_size, 1), Xs,
   	 fun (_) -> t_non_neg_integer() end);
  +type(erlang, call_on_load_function, 1, Xs) ->
  +  %% Internal BIF used by on_load.
  +  strict(arg_types(erlang, call_on_load_function, 1), Xs,
  +	 fun (_) -> t_any() end);
   type(erlang, cancel_timer, 1, Xs) ->
     strict(arg_types(erlang, cancel_timer, 1), Xs,
   	 fun (_) -> t_sup(t_integer(), t_atom('false')) end);
  
positive.code: 	 t_atom('nofile'),
  	 t_atom('not_purged'),
  	 t_atom('native_code'),
  	 t_atom('sticky_directory')]).	% only for the 'code' functions
  
  t_code_loaded_fname_or_status() ->
  
negative.code:   [t_pos_fixnum()];
  arg_types(erlang, byte_size, 1) ->
    [t_binary()];
  arg_types(erlang, call_on_load_function, 1) ->
    [t_atom()];
  arg_types(erlang, cancel_timer, 1) ->
    [t_reference()];
  arg_types(erlang, check_process_code, 2) ->
  