#!/bin/sh
# DF-3422 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
sh /root/df3422/setup.sh gre && /root/df3422/gre_poc gre40   # panic 'complete IP header not in one mbuf'; reboot; setup + gre_poc greuflow for the m_len=-12 variant