pub const PTHREAD_STACK_MIN: i32 = 16384;