@0 pass in inet from 127.0.0.1 to 127.0.0.0/8 
[ Skip steps: a=end i=end d=end f=end p=end sp=end dp=end ]
[ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]

@1 pass in inet from 127.0.0.0/16 to 127.0.0.0/24 
[ Skip steps: a=end i=end d=end f=end p=end sp=end dp=end ]
[ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]

@2 pass in inet from 127.0.0.0/25 to ! 127.0.0.0/26 
[ Skip steps: a=end i=end d=end f=end p=end sp=end dp=end ]
[ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]

@3 pass in inet from ! 127.0.0.1 to 127.0.0.0/16 
[ Skip steps: a=end i=end d=end f=end p=end sa=end sp=end dp=end ]
[ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]

@4 pass in inet from ! 127.0.0.1 to ! 127.0.0.0/8 
[ Skip steps: a=end i=end d=end f=end p=end sa=end sp=end da=end dp=end ]
[ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]