pub type std_vector_difference_type = u64;