Symbol: PIC32_RTCCON_ON