pub type std_allocator_traits_pointer = [u8; 0];