pub const SYS_stime: i32 = 25;