echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | xargs; exit
b_jonas