nat pass on lo0 from 10/8 to 172.16/16 -> 172.16.0.1
rdr pass on lo0 proto tcp from any to 1.2.3.4 port 80 -> 127.0.0.1 port 8080
binat pass on lo0 from 10/8 to 11/8 -> 12/8

nat pass log on lo0 from 10/8 to 172.16/16 -> 172.16.0.1
rdr pass log on lo0 proto tcp from any to 1.2.3.4 port 80 -> 127.0.0.1 port 8080
binat pass log on lo0 from 10/8 to 11/8 -> 12/8

nat pass log (all) on lo0 from 10/8 to 172.16/16 -> 172.16.0.1
rdr pass log (all) on lo0 proto tcp from any to 1.2.3.4 port 80 -> 127.0.0.1 port 8080
binat pass log (all) on lo0 from 10/8 to 11/8 -> 12/8

nat log on lo0 from 10/8 to 172.16/16 -> 172.16.0.1
rdr log on lo0 proto tcp from any to 1.2.3.4 port 80 -> 127.0.0.1 port 8080
binat log on lo0 from 10/8 to 11/8 -> 12/8

no nat log on lo0 from 20/8 to 192.168.0/24
no rdr log on lo0 proto tcp from any to 3.4.5.6 port 443
no binat log on lo0 from 20/8 to 13/8