Mode Changes for Exec/Exit
Syscall traps and “returns” are not always paired.
Exec “returns” (to child) from a trap that “never happened”
Exit system call trap never returns
system may switch processes between trap and return
In contrast, interrupts and returns are strictly paired.
doctoring up a saved user context to “return” through.