pub const Vmcs: INTERFACE_TYPE = 16i32;