process Turnstile {
    private Counter counter_;
    public Turnstile(Counter counter) {
        counter_ = counter;
    }

    public void body() {
        for (int i=0; i<20; i++) {
            counter_.incValue();
        }
    }

}