pub const PTHREAD_PRIO_NONE: u32 = 0;