39a40,47
> // Nonstandard
> class sc_user
> {
> public:
> sc_user() {}
> sc_user(const sc_user &) {}
> };
>