pub const SYS_reboot: i32 = 88;