pub const PTHREAD_MUTEX_INITIALIZER: pthread_mutex_t = _; // {0x0 as *mut sgx_types::sgx_thread_mutex_t}