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