#!/bin/sh
# DF-5308 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
./df5308 fault 2    (call mode: DF5308_FOP=<kprintf-24 addr> ./df5308 call 1)