kernel vectorization (XII).