Re: [PATCH v42 5/5] ntdll: int_handler has to raise CTRL_C_EVENT