process Turnstile {

    channel(int) incrValue_;
    
    public Turnstile(channel incrValue){
        incrValue_ = incrValue;
    
    } // Turnstile

	public void body(){
       
       for(int i=0;i<20;i++){
		    incrValue_.send(1);
       } // for      
    } // body
    
} // Turnstile