pub const SYS_sched_rr_get_interval: c_long = 4000 + 165; // 4_165i32