Modulo Z3 SW INTERRUPTS