pub const SCHED_NORMAL: i32 = 0;