followup: put all vectorization code behind DisableVectorization