Обсуждение статьи тематического каталога: Патч для работы ipfw stateful + ipnat (ipfw freebsd patch)Ссылка на текст статьи: http://www.opennet.me/base/patch/ipfw_stateful.txt.html
ИМХО, достаточно.
В ip_output.c между метками pass и done есть только sendorfree.
Переход на нее есть только в коде после метки pass.
Т.о. если пакет пригоден к отправке, управление всегда перейдет к коду у метки pass, что и нужно.