#!/bin/sh
# DF-4426 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
./wrap_harness 0; ./wrap_harness 5; ./wrap_harness 254 noerr