(defhost richmond.dmz ((:ipv4 dmz1 12) (:ipv6 dmz "::1:1")))
(defhost blackhole.dmz ((:ipv4 dmz1 14) (:ipv6 dmz "::ffff")))
(defhost richmond.dmz ((:ipv4 dmz1 12) (:ipv6 dmz "::1:1")))
(defhost blackhole.dmz ((:ipv4 dmz1 14) (:ipv6 dmz "::ffff")))
;; Untrusted private network.
(defhost national.upn ((:ipv4 upn 1) (:ipv6 upn "::1:1")))
(defhost mdwdev.upn ((:ipv4 upn 2) (:ipv6 upn "::2:1")))
;; Untrusted private network.
(defhost national.upn ((:ipv4 upn 1) (:ipv6 upn "::1:1")))
(defhost mdwdev.upn ((:ipv4 upn 2) (:ipv6 upn "::2:1")))
(defhost precision precision.unsafe)
(defhost telecaster telecaster.unsafe)
(defhost stratocaster stratocaster.unsafe)
(defhost precision precision.unsafe)
(defhost telecaster telecaster.unsafe)
(defhost stratocaster stratocaster.unsafe)
(t
(defhost radius radius.dmz)
(defhost vampire vampire.dmz)
(defhost precision precision.dmz)
(defhost telecaster telecaster.dmz)
(defhost stratocaster stratocaster.dmz)
(t
(defhost radius radius.dmz)
(defhost vampire vampire.dmz)
(defhost precision precision.dmz)
(defhost telecaster telecaster.dmz)
(defhost stratocaster stratocaster.dmz)