1@0 pass out on lo0 inet from 10.0.0.0/8 to 172.16.0.0/16 flags S/SA nat-to 172.16.0.1
2  [ Skip steps: i=end r=end f=end sp=end ]
3  [ queue: qname= qid=0 pqname= pqid=0 ]
4  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
5@1 pass in on lo0 inet proto tcp from any to 1.2.3.4 port = 80 flags S/SA rdr-to 127.0.0.1 port 8080
6  [ Skip steps: i=end r=end f=end sp=end ]
7  [ queue: qname= qid=0 pqname= pqid=0 ]
8  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
9@2 pass out on lo0 inet from 10.0.0.0/8 to 11.0.0.0/8 flags S/SA nat-to 12.0.0.0/8 static-port
10  [ Skip steps: i=end r=end f=end p=5 sp=end dp=5 ]
11  [ queue: qname= qid=0 pqname= pqid=0 ]
12  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
13@3 pass in on lo0 inet from 11.0.0.0/8 to 12.0.0.0/8 flags S/SA rdr-to 10.0.0.0/8
14  [ Skip steps: i=end r=end f=end p=5 sp=end dp=5 ]
15  [ queue: qname= qid=0 pqname= pqid=0 ]
16  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
17@4 pass out log on lo0 inet from 10.0.0.0/8 to 172.16.0.0/16 flags S/SA nat-to 172.16.0.1
18  [ Skip steps: i=end r=end f=end sp=end ]
19  [ queue: qname= qid=0 pqname= pqid=0 ]
20  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
21@5 pass in log on lo0 inet proto tcp from any to 1.2.3.4 port = 80 flags S/SA rdr-to 127.0.0.1 port 8080
22  [ Skip steps: i=end r=end f=end sp=end ]
23  [ queue: qname= qid=0 pqname= pqid=0 ]
24  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
25@6 pass out log on lo0 inet from 10.0.0.0/8 to 11.0.0.0/8 flags S/SA nat-to 12.0.0.0/8 static-port
26  [ Skip steps: i=end r=end f=end p=9 sp=end dp=9 ]
27  [ queue: qname= qid=0 pqname= pqid=0 ]
28  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
29@7 pass in log on lo0 inet from 11.0.0.0/8 to 12.0.0.0/8 flags S/SA rdr-to 10.0.0.0/8
30  [ Skip steps: i=end r=end f=end p=9 sp=end dp=9 ]
31  [ queue: qname= qid=0 pqname= pqid=0 ]
32  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
33@8 pass out log (all) on lo0 inet from 10.0.0.0/8 to 172.16.0.0/16 flags S/SA nat-to 172.16.0.1
34  [ Skip steps: i=end r=end f=end sp=end ]
35  [ queue: qname= qid=0 pqname= pqid=0 ]
36  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
37@9 pass in log (all) on lo0 inet proto tcp from any to 1.2.3.4 port = 80 flags S/SA rdr-to 127.0.0.1 port 8080
38  [ Skip steps: i=end r=end f=end sp=end ]
39  [ queue: qname= qid=0 pqname= pqid=0 ]
40  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
41@10 pass out log (all) on lo0 inet from 10.0.0.0/8 to 11.0.0.0/8 flags S/SA nat-to 12.0.0.0/8 static-port
42  [ Skip steps: i=end r=end f=end p=13 sp=end dp=13 ]
43  [ queue: qname= qid=0 pqname= pqid=0 ]
44  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
45@11 pass in log (all) on lo0 inet from 11.0.0.0/8 to 12.0.0.0/8 flags S/SA rdr-to 10.0.0.0/8
46  [ Skip steps: i=end r=end f=end p=13 sp=end dp=13 ]
47  [ queue: qname= qid=0 pqname= pqid=0 ]
48  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
49@12 match out log on lo0 inet from 10.0.0.0/8 to 172.16.0.0/16 nat-to 172.16.0.1
50  [ Skip steps: i=end r=end f=end sp=end ]
51  [ queue: qname= qid=0 pqname= pqid=0 ]
52  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
53@13 match in log on lo0 inet proto tcp from any to 1.2.3.4 port = 80 rdr-to 127.0.0.1 port 8080
54  [ Skip steps: i=end r=end f=end sp=end ]
55  [ queue: qname= qid=0 pqname= pqid=0 ]
56  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
57@14 match out log on lo0 inet from 10.0.0.0/8 to 11.0.0.0/8 nat-to 12.0.0.0/8 static-port
58  [ Skip steps: i=end r=end f=end p=end sp=end dp=end ]
59  [ queue: qname= qid=0 pqname= pqid=0 ]
60  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
61@15 match in log on lo0 inet from 11.0.0.0/8 to 12.0.0.0/8 rdr-to 10.0.0.0/8
62  [ Skip steps: i=end d=end r=end f=end p=end sa=end da=end sp=end dp=end ]
63  [ queue: qname= qid=0 pqname= pqid=0 ]
64  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
65