pub type vm_machine_attribute_t = c_uint;