fn zip_with3<T, U, V, F>(a: [T; 3], b: [U; 3], f: F) -> [V; 3]where T: Copy, U: Copy, F: Fn(T, U) -> V,