Symbol: PIC32_RTCCON