#!/bin/sh
# DF-3426 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
./run.sh uaf 512 4096 16384   # panic; ./run.sh unreg 8  # live-guest -8 double frees; ./run.sh evt  # 2^64-767 underflow