pub type DumpGuestMemoryFormat = c_uint;