public class BigCounter extends Counter {

    public int increment() {
	super.increment();
	return super.increment();
    }
}