anchor.diff:  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_integer() end);
  +  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_integer() end);
  +  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_integer() end);
  +  strict(arg_types(erlang, crc32_combine, 3), Xs, fun (_) -> t_crc32() end);
   type(erlang, date, 0, _) ->
     t_date();
   type(erlang, decode_packet, 3, Xs) ->
  
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: arg_types(hipe_bifs, call_count_on, 1) ->
    [t_mfa()];
  arg_types(hipe_bifs, check_crc, 1) ->
    [t_crc32()];
  arg_types(hipe_bifs, enter_code, 2) ->
    [t_binary(), t_sup(t_nil(), t_tuple())];
  arg_types(hipe_bifs, enter_sdesc, 1) ->
  