void set_max_warning_count( unsigned int max_warnings) { set_max_message_count(MSG_WARNING, max_warnings); }
void set_max_doomed_count( unsigned int max_messages) { set_max_message_count(MSG_DOOMED, max_messages); }