pub type pthread_rwlock_t = sgx_thread_rwlock_t;