Re: [PATCH] winedbg: Avoid truncating a 32 bit exception code as exit code