void MsDoesReturn();
__declspec(noreturn) void MsDoesNotReturn();
// semmle-extractor-options: --microsoft