pub type zx_guest_option_t = u32;