1 /// This interface abstracts a counter. It provides methods
2 /// for increasing and getting the value of the counter.
5 /// Increases the counter value.
8 /// Decreases the counter value.
11 /// Sets the counter value to zero.
14 /// Shuts down the ORB on which this obj is running.
15 oneway
void shutdown
();