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