// TODO 15.01
            if (ADC_Result[0] >= 4095)
                TCC2_PWM16bitDutySet( 1, TCC2_PWM16bitPeriodGet()+1 );
            else
                TCC2_PWM16bitDutySet( 1, (uint32_t)ADC_Result[0] * TCC2_PWM16bitPeriodGet()/4095 );
