typedef void *(event_callback(event ev, ios_base& ios, int idx);
The type describes a pointer to a function that can be registered with register_callback.
register_callback