70a71,74
> // Deprecated
> static void report(sc_severity, int id, const char *msg, const char *file,
> int line);
>