#if defined(__INTEL_COMPILER)
void THIS_IS_INTEL();
#endif
