pub type std_array_difference_type = u64;