ms-intrin.cpp: no need for -verify anymore