pub type cec_external_source_specifier = u32;