Symbol: pic32_rtc_setaie