fact: Example drop_messages_192_10 := iptables -A FORWARD --source 192'0'0'0/8 --destination 10'0'0'0/8 -j DROP.
imports: Fiat.Narcissus.Examples.Guard.Core Fiat.Narcissus.Examples.Guard.IPTables Fiat.Narcissus.Examples.Guard.Ports