process Counter{
    private int count_;
    
    channel []incrValue_;
	
	
	public Counter(channel []incrValue){
		incrValue_ = incrValue;
	}
	
	public void body(){
		repeat{
			select{
				replicate (int i=0; i<incrValue_.length;i++){
				  incrValue_[i].receive();
				  count_++;
				} 
				
				terminate {
					System.out.println(count_);
				}
			} // select  
		} forever;
	} // body
	
	
} // Counter