Auto-vectorization is not a programming model!