Symbol: PIC32_RTCSEC