process Turnstile {
   
    Counter counter_;	
	
    public Turnstile(Counter counter) {
	
        counter_ =  counter;
     
    } // Turnstile
   
    public void body() {
        for (int i=0;i<20;i++) {
	
            counter_.incValue();		
       
        } // for      
    
    } // body 

 
} // process Turnstile