Formatting
Adding a pthread_rwlock_t...to be continued