pub type xed_encoder_operand_type_t = c_uint;