pub type __virtio32 = u32;