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