// Counter aCounter = new Counter();   // Error