pub type pthread_condattr_t = sgx_thread_condattr_t;