pub const __HYPERVISOR_set_segment_base: u32 = 25;