228a229,238
> static bool stop_called = false;
> if (stop_called) {
> static bool stop_warned = false;
> if (!stop_warned)
> SC_REPORT_WARNING("(W545) sc_stop has already been called", "");
> stop_warned = true;
> return;
> }
> stop_called = true;
>