Use INT_index; add debugging default ISR