IntHolder value = new IntHolder();
AtomicTransaction atomicTransaction = new AtomicTransaction();
atomicTransaction.begin();
counter.get(value, OTS.current().get_control());
atomicTransaction.commit(true);
correct = correct && (value.value == (numberOfWorkers * numberOfCalls));
if (correct)
{