hook_w32_key     8636 src/w32fns.c             hook_w32_key (hook, VK_MENU, vk_code);
hook_w32_key     8645 src/w32fns.c             hook_w32_key (hook, VK_LWIN, vk_code);
hook_w32_key     8653 src/w32fns.c             hook_w32_key (hook, VK_RWIN, vk_code);