w32_parse_and_hook_hot_key 8700 src/w32fns.c     key = w32_parse_and_hook_hot_key (key, 1);
w32_parse_and_hook_hot_key 8731 src/w32fns.c       key = w32_parse_and_hook_hot_key (key, 0);