kernel vectorization (XXII).