pub type std_unordered_map_difference_type = u8;