kernel vectorization (XVIII).