pub const SYS_sched_setscheduler: c_long = 4000 + 160; // 4_160i32