Symbol: PIC32_RTCALRM