noGasCounter should be atomic too