--- /dev/null
+#!/bin/sh
+# usage: ./dorecord <casename> <initfile> <args>
+
+set -e
+casename="$1"; shift
+initfile="$1"; shift
+
+initstring="`cat \"init-$initfile.text\"`"
+
+exec 3>"case-$casename.sys"
+echo >&3 "$initfile"
+echo >&3 "$@"
+
+ADNS_TEST_OUT_FD=3
+export ADNS_TEST_OUT_FD
+
+./hrecord "/$initstring" "$@" 1>"case-$casename.out" 2>"case-$casename.err"