pub const CEC_USER_CONTROL_CODE_SETUP_MENU: cec_user_control_code = 10;