Symbol: PIC32_CNCON_EDGE