#!/bin/sh
# DF-3398 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
ipfw3 nat 1 config ip 10.0.2.15; ipfw3 add 100 nat 1 icmp from any to any out via vtnet0; /root/icmp_oob 5 0xfc 0x1fc 0x2fc 0x3fc; /root/kcheck 0 <runtime-ip_fw3_nat_ctx-addr>