Потокобезопасность счётчика при конкурентном доступе

Метод main запускает два потока:
– один увеличивает значение счётчика 4 раза через метод inc(),
– второй (в самом методе main) уменьшает значение