void frontend_keypress(void)
void frontend_keypress(void *handle)
void frontend_keypress(void){    /*     * Keypress termination in non-Close-On-Exit mode is not     * currently supported in PuTTY proper, because the window     * always has a perfectly good Close button anyway. So we do     * nothing here.     */    return;}