Constant cec_user_control_code_DOT

pub const cec_user_control_code_DOT: cec_user_control_code = 42;