pub const LINUX_REBOOT_CMD_HALT: c_int = 0xCDEF0123;