DualCDC with PIC32MX