pub type ddsi_guid_prefix_t = ddsi_guid_prefix;
union ddsi_guid_prefix_t { pub s: [u8; 12], pub u: [u32; 3], }
s: [u8; 12]
u: [u32; 3]