85,86c85
< static int stop_after(const char *msg_type, sc_severity,
< sc_actions=SC_UNSPECIFIED);
---
> static int stop_after(const char *msg_type, sc_severity, int limit=-1);