#!/bin/sh
# DF-5548 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
sh run.sh (tests 2+4); sh run_fatal.sh (test 3); sysctl kern.df5547_test=5 (arbitrary-address variant)