#!/bin/sh
# DF-2422 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
./pass2422 -c   (control: completes) ; ./pass2422  (trigger: panic)