#!/usr/bin/env bash echoerr() { echo "$@" >&2; }