The KCP53000 Verilog code now supports an external interrupt input. Interrupts have priority over other kinds of traps; because the MEPC register always points to the instruction that faults (or that would have faulted), an MRET instruction returns to that instruction and, presumably, would fault again for the same reasons. Thus, faults are never lost.