Symbol: PIC32_DEV_NAME