#!/bin/sh
# DF-5694 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
kldload ./arc4samp.ko; cat /dev/arc4srep; dd if=/dev/arc4s64 bs=1048576 count=16 | ./chk /dev/stdin k64; ./arc4_harness bias64 10000000