pub const __NR_reboot: u32 = 88;