#!/usr/bin/env bash
set -e -o pipefail

die() {
    local exitcode="$1"; shift
    echo 1>&2 "$(basename "$0")" "$@"
    exit $exitcode
}
