pthreads :: AtomicInt :: increment_and_get
# Increment the value and get the new one fun increment_and_get: Int `{ return __sync_add_and_fetch(self, 1); `}