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