pub const SYS_sched_getscheduler: c_long = 145;