err() { printf '%s: %s\n' "$0" "$@" >&2; exit 1; }