#!/usr/bin/env bash
#
# shell functions

set -euo pipefail