let rec count_map2_exn ~f l1 l2 ctr =     match l1, l2 with     | [], [] -> []     | [x1], [y1] ->       let f1 = f x1 y1 in       [f1]     | [x1; x2], [y1; y2] ->       let f1 = f x1 y1 in       let f2 = f x2 y2 in       [f1; f2]     | [x1; x2; x3], [y1; y2; y3] ->       let f1 = f x1 y1 in       let f2 = f x2 y2 in       let f3 = f x3 y3 in       [f1; f2; f3]     | [x1; x2; x3; x4], [y1; y2; y3; y4] ->       let f1 = f x1 y1 in       let f2 = f x2 y2 in       let f3 = f x3 y3 in       let f4 = f x4 y4 in       [f1; f2; f3; f4]     | x1 :: x2 :: x3 :: x4 :: x5 :: tl1,       y1 :: y2 :: y3 :: y4 :: y5 :: tl2 ->       let f1 = f x1 y1 in       let f2 = f x2 y2 in       let f3 = f x3 y3 in       let f4 = f x4 y4 in       let f5 = f x5 y5 in       f1 :: f2 :: f3 :: f4 :: f5 ::         (if ctr > 1000           then map2_slow ~f tl1 tl2           else count_map2_exn ~f tl1 tl2 (ctr + 1))     | _, _ -> failwith "count_map2"