pub const PTHREAD_ONCE_INIT: u32 = 0;