# shellcheck shell=bash echoerr() { echo "$@" 1>&2; }