run_unix.sh

#!/usr/bin/env bash
set -euo pipefail
python3 "$(dirname "$0")/hvce.py" "$@"