hook_w32_key     8669 src/w32fns.c             hook_w32_key (hook, VK_MENU, vk_code);
hook_w32_key     8678 src/w32fns.c             hook_w32_key (hook, VK_LWIN, vk_code);
hook_w32_key     8686 src/w32fns.c             hook_w32_key (hook, VK_RWIN, vk_code);