function die() { printf "${1}\n" exit 1 } PROG_NAME="${0##*/}"