# (set argv0 to "SHELL" to avoid "/path/to/shell: blah" in error messages) $THIS_SH -c '\' SHELL