Add MutexedCounter class.