pub type cec_user_control_code = u32;