Notes:
How we actually redirect execution back to the original instruction stream depends on the ISA.
