pub type cec_programmed_info = u32;