anchor.diff:  arg_types(hipe_bifs, set_native_address, 3) ->
     [t_mfa(), t_integer(), t_boolean()];
   arg_types(hipe_bifs, system_crc, 1) ->
  -  [t_integer()];
  +  [t_crc32()];
   arg_types(hipe_bifs, term_to_word, 1) ->
     [t_any()];
   arg_types(hipe_bifs, update_code_size, 3) ->
  
positive.code: arg_types(erlang, crc32, 1) ->
    [t_iodata()];
  arg_types(erlang, crc32, 2) ->
    [t_integer(), t_iodata()];
  arg_types(erlang, crc32_combine, 3) ->
    [t_integer(), t_integer(), t_integer()];
  arg_types(erlang, date, 0) ->
    [];
  arg_types(erlang, decode_packet, 3) ->
  
negative.code: type(erlang, concat_binary, 1, Xs) ->
    strict(arg_types(erlang, concat_binary, 1), Xs, fun (_) -> t_binary() end);
  type(erlang, crc32, 1, Xs) ->
    strict(arg_types(erlang, crc32, 1), Xs, fun (_) -> t_crc32() end);
  type(erlang, crc32, 2, Xs) ->
    strict(arg_types(erlang, crc32, 2), Xs, fun (_) -> t_crc32() end);
  type(erlang, crc32_combine, 3, Xs) ->
    strict(arg_types(erlang, crc32_combine, 3), Xs, fun (_) -> t_crc32() end);
  type(erlang, date, 0, _) ->
    t_date();
  type(erlang, decode_packet, 3, Xs) ->
  