pub type cec_menu_state = u32;