kernel vectorization (XIV).