#include <xc.h>
#include <sys/attribs.h>

void __ISR_AT_VECTOR (_TIMER_2_VECTOR, IPL4SRS) T2Interrupt(void)
{
    // Toggle LED LD1
    LATGINV = _LATG_LATG6_MASK;

    // Reset interrupt flag
    IFS0bits.T2IF = 0;
}

int main(void)
{
    // Initialization
    PRISS = 0x76543210;                /* assign shadow set #7-#1 to priority level #7-#1 ISRs */

    while(1);                        /* main application loop */

}