pub const CONFIG_PTHREAD_TASK_CORE_DEFAULT: i32 = -1;