// TODO 12.01
            TCC1_PWM24bitDutySet(TCC1_CHANNEL3, ((uint32_t) ADC0_Result * TCC1_PWM24bitPeriodGet() + 1) / 4095);
