Iptables_Semantics.Primitive_Abstract