The text abd6ad03ac6c, as FreeBSD 13.2-RELEASE shipped it.
IPFilter NAT file format
ipnat(5) on FreeBSD now