shell.stderr.exp-dash2 revision 663860b1408516d02ebfcb3a9999a134e6cfb223 
1./shell: 10: ./shell: ./x86/: Permission denied
2./shell: 13: ./shell: ./shell.vgtest: Permission denied
3execve(0x........(./shell_badinterp), 0x........, 0x........) failed, errno 2
4EXEC FAILED: I can't recover from execve() failing, so I'm dying.
5Add more stringent tests in PRE(sys_execve), or work out how to recover.
6./shell_binaryfile: 4: ./shell_binaryfile: Syntax error: ")" unexpected
7./shell: 22: ./shell: ./shell_nosuchfile: not found
8./shell: 25: ./shell: shell_nosuchfile: not found
9