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

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

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

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

	    
} // class counter