pub type std_deque_difference_type = u64;