35a36
> #include "../core/sc_port.hh"
67a69,72
> // Nonstandard
> typedef sc_port<sc_event_queue_if, 1, SC_ONE_OR_MORE_BOUND>
> sc_event_queue_port;
>