#!/bin/sh
cd "$(dirname "$0")"
echo "===== structural-overflow model ====="; ./hv; echo "rc=$?"