pub type cec_programmed_indicator = u32;