/* We must be careful with modifying the program counter. If we
just interrupted a system call, the kernel might try to restart
/* We must be careful with modifying the program counter. If we
just interrupted a system call, the kernel might try to restart