maybe we should add a nop on the interrupt handler