pub type cdio_mmc_read_disc_info_datatype_t = c_uint;