#!/bin/sh
# DF-0615 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
sudo ./run.sh 16   (root: launches unprivileged readers + privileged mutator)