#!/bin/sh
# DF-4634 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
/tmp/race2 25 ; sleep 2 ; ls /dev/dsp0.* | wc -l   (then root: kldunload snd_es137x)