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