Symbol: PIC32_RCON