void print_alert(alert const& a) { std::cout << "ses1 (alert dispatch function): " << a.message() << std::endl; }