Constant cec_user_control_code_RECORD

pub const cec_user_control_code_RECORD: cec_user_control_code = 71;