[PATCH] Re: help fixing up SetConsoleCtrlHandler()