pub const PTHREAD_PRIO_PROTECT: u32 = 2;