Symbol: PIC32_BASE_RESET