// This handler is called by Windows in a different thread when a console event happens
// FIXME: When the console window is closed, the application is supposedly terminated as soon as
// this handler returns. We may want to block and wait for the main thread so set some
// This handler is called by Windows in a different thread when a console event happens
// FIXME: When the console window is closed, the application is supposedly terminated as soon as
// this handler returns. We may want to block and wait for the main thread so set some