
timer:
        XREF    counter_irq?
        LDX     PR
        PSHX
        LDX     SR
        PSHX
        JSR     counter_irq?    ; place the name of C interrupt handler here
        PULX
        STX     SR
        PULX
        STX     PR
        RTI


