prog: shell_badinterp