Symbol: pic32_rtc_dev