An int with a RWLock built-in