Listing 5

handle_event on_exit() {
  ::PostQuitMessage(0);
  return command<menu_::exit>();
}