| ./shell: 10: ./x86/: Permission denied | |
| ./shell: 13: ./shell.vgtest: Permission denied | |
| execve(0x........(./shell_badinterp), 0x........, 0x........) failed, errno 2 | |
| EXEC FAILED: I can't recover from execve() failing, so I'm dying. | |
| Add more stringent tests in PRE(sys_execve), or work out how to recover. | |
| ./shell_binaryfile: 4: Syntax error: ")" unexpected | |
| ./shell: 22: ./shell_nosuchfile: not found | |
| ./shell: 25: shell_nosuchfile: not found |