kernel vectorization (XXV).