Curious what you do when you encounter an instruction you don't model
However, I think we'll emit a call to some `noreturn` function. Basically we emit a call to `abort`.
In QEMU parlance, these are helper functions, and they have actual implementations. But for decompilation purposes, you don't need to implement them. You just need to know how they interact with the registers.