pub fn get_2loop_len_pair( x: SeqSlice<'_>, y: &(usize, usize), z: &(usize, usize), ) -> (usize, usize)