#!/bin/sh
set -e
cd "$(dirname "$0")"
cc -O2 -Wall -o hv ng_sppp_harness.c
echo "built: hv (structural-overflow model)"