Constant __MLIBC_THREAD_MUTEX_ROBUST 

pub const __MLIBC_THREAD_MUTEX_ROBUST: u32 = 1;