QuickCheckMaxRatio( QuickCheckMaxRatio ))
import Cidr( cidr_properties, cidr_tests )
import IPv4Address( ipv4address_properties, ipv4address_tests )
QuickCheckMaxRatio( QuickCheckMaxRatio ))
import Cidr( cidr_properties, cidr_tests )
import IPv4Address( ipv4address_properties, ipv4address_tests )