kernel vectorization (XIII).