pub const SCHED_S_TASK_TERMINATED: i32 = 267014; // 267_014i32