Symbol: PIC32_RTCDAY