#!/bin/sh
# DF-3003 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
guest root: sh run.sh a   (silent write; verify image bytes at target+16392 == 0x00062e8551e8c000) ; sh run.sh b  (panic in hammer_modify_buffer)