69,70c69,72
< protected:
< sc_unwind_exception();
---
> // Nonstandard.
> // These should be protected, but I think this is to enable catch by
> // value.
> public:
72a75,77
>
> protected:
> sc_unwind_exception();