Constant CONFIG_PTHREAD_TASK_STACK_SIZE_DEFAULT 

pub const CONFIG_PTHREAD_TASK_STACK_SIZE_DEFAULT: u32 = 3072;