#!/bin/sh
# DF-2523 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
sh run.sh   # go=4 matching-reselect control (returns), then go=5 unmatchable reselect 0x1000 - RUN LAST: on a vulnerable kernel the guest wedges permanently (kill QEMU to recover)