pub const SCHED_S_TASK_TERMINATED: i32 = 0x00041306; // 267_014i32