kojiro 1197142116 learn die() { local code=$1; shift; echo "$@" >&2; exit $code; }