pub type std_allocator_traits_const_pointer = [u8; 0];