#!/bin/sh
# DF-3511 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
sh /root/df3511/run.sh   (kldload /root/ng7/netgraph.ko + ng_socket.ko; /root/df3511/trigger loaded 50000 (control); /root/df3511/trigger bogus 50000 (leak)); memory via sysctl vm.stats.vm.v_free_count + netstat -m
