void Int0_isr(void) __interrupt(0) __using(1)
{
    unsigned char intsrc;
    intsrc = ReadInterruptSourceFromController();  // not a function, this is pseudocode
    phandlers[intsrc]();   // line 150
} // Int0_isr()