void on_unhandled(event& e) { events.push_back(e.name()); }
void on_unhandled(event& e) { std::cout << e.name() << std::endl; }