@0 nat on lo0 inet from any to 127.0.0.1 -> 127.0.0.1
[ Skip steps: i=end d=end f=end p=end sp=end dp=end ]
[ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]

@1 nat on lo0 inet from 127.0.0.1 to any -> 127.0.0.1
[ Skip steps: i=end d=end f=end p=end sp=end dp=end ]
[ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]

@2 nat on lo0 inet from any to 127.0.0.1 -> 127.0.0.1
[ Skip steps: i=end d=end f=end p=end sa=4 sp=end da=4 dp=end ]
[ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]

@3 nat on lo0 inet from any to 127.0.0.1 -> (lo0)
[ Skip steps: i=end d=end f=end p=end sp=end dp=end ]
[ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]

@4 nat on lo0 inet from 127.0.0.1 to any -> (lo0)
[ Skip steps: i=end d=end f=end p=end sp=end dp=end ]
[ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]

@5 nat on lo0 inet from any to (lo0) -> 127.0.0.1
[ Skip steps: i=end d=end f=end p=end sa=end sp=end da=end dp=end ]
[ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]

@0 rdr on lo0 inet from any to 127.0.0.1 -> 127.0.0.1
[ Skip steps: i=end d=end f=end p=end sp=end dp=end ]
[ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]

@1 rdr on lo0 inet from 127.0.0.1 to any -> 127.0.0.1
[ Skip steps: i=end d=end f=end p=end sp=end dp=end ]
[ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]

@2 rdr on lo0 inet from any to 127.0.0.1 -> 127.0.0.1
[ Skip steps: i=end d=end f=end p=end sa=4 sp=end da=4 dp=end ]
[ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]

@3 rdr on lo0 inet from any to 127.0.0.1 -> (lo0)
[ Skip steps: i=end d=end f=end p=end sp=end dp=end ]
[ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]

@4 rdr on lo0 inet from 127.0.0.1 to any -> (lo0)
[ Skip steps: i=end d=end f=end p=end sp=end dp=end ]
[ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]

@5 rdr on lo0 inet from any to (lo0) -> 127.0.0.1
[ Skip steps: i=end d=end f=end p=end sa=end sp=end da=end dp=end ]
[ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]