static SS zipTwoListsToCIMap(Cl<S> l1, Cl<S> l2) {
  ret zipTwoListsToCIMap_strict(l1, l2);
}