pub const SYS_sched_getscheduler: c_long = 4000 + 161; // 4_161i32