public class UnboundedCounter {
	UnboundedCounter() {val = 0;}

	void up() {val++;}	
	void down() {val--;}	

	int getVal() {return val;}

	public String toString() {return "An unbounded counter with value " + val;}

	private int val = 0;
}