process Counter{

    entry void  incValue();
    entry int getValue();
    entry void  setValue(int count);

    private  int count_;

    Counter(){
        count_ = 0;
        //setValue(0);	
    }

    public void body() {
        while (true) {
            select{

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

                } or 
                accept int getValue() {
                    int h;
                    h = count_;
                    return h;

                } terminate {
                    System.out.printf("current counter value %d\n", count_);
                }
                //terminate 


                //alternative
            }//select
        }//while(true)
    }//body
}//Counter