w32_parse_and_hook_hot_key 8733 src/w32fns.c     key = w32_parse_and_hook_hot_key (key, 1);
w32_parse_and_hook_hot_key 8764 src/w32fns.c       key = w32_parse_and_hook_hot_key (key, 0);