pub const __HYPERVISOR_set_timer_op: u32 = 15;