pub type std_allocator_traits_difference_type = [u8; 0];