#!/bin/sh
# DF-3321 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
cd /root/df3321 && sh run.sh gif_ihl15   # panic 'total length incl header' (ip_input.c:575); after reboot: sh run.sh gif_tcp_off15  # panic 'bad TCP data offset 60 (tlen 20)'