Программа на C ++, построенная в соответствии с правилами синтаксиса, диагностируемыми семантическими правилами и расширением one-definition rule.