pub type cec_not_programmed_error_info = u32;