__declspec(naked) void microsoft() {}

void microsoft_not_naked() {}
// semmle-extractor-options: --microsoft