Type Alias pthread_mutex_t 

pub type pthread_mutex_t = __uint32_t;