pub const PTHREAD_MUTEX_ROBUST: i32 = 1;