monitor Counter{
 
    private int count_;

    Counter() {
        setValue(0);	
    }

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

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

    int getValue() {
        return count_;	
    }
}