#!/bin/sh
# DF-4343 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
./run.sh guest   # executed; documents unreachable attach + 0 bus_release_resource / 0 device_detach
