void timer2_isr(void) interrupt 5 using 1      
{
    TF2H = 0;                           /* Clear Timer2 interrupt flag */

    /* ... */
    /* whatever other real work you use the timer interrupt for can go here */
    /* ... */
}