/* intentionally empty file */
int _SEH2_Volatile0 = 0;
int _SEH2_VolatileExceptionCode = 0xC0000005;