pub const SYS_sched_get_priority_max: c_int = 125;