public class Counter{
  
	private int count_;
	
	Counter() {
		setValue(0);	
	} // Counter

	void  setValue(int count) {
		count_=count;	
	} // setValue

	void incValue() {
		int c= getValue();
		JavaFC.simulateInterrupt();
		setValue(c+1);	
		JavaFC.simulateInterrupt();
	} // incValue

	int getValue() {
		return count_;	
	} // getValue
	
} // Counter