pub const __HYPERVISOR_console_io: u32 = 18;