Symbol: PIC32_DEVID