#!/bin/sh
# DF-5561 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
serial_vm.sh up + serial_writer.py; sysctl debug.enter_debugger=ddb; at db>: print *db_active (1); call 0x10(); print *db_active (2=bug); c