pub type std_allocator_difference_type = u64;