;; Virtual private network.
(defhost crybaby.vpn (vpn 1))
(defhost terror.vpn (vpn 2))
+(defhost orange.vpn (vpn 3))
+(defhost mango.vpn (vpn 4))
;; Iodine network.
(defhost jazz.iodine (iodine 1))
(defhost ntp0.any (any 2))
(defhost ntp1.any (any 3))
(defhost www-cache.any (any 4))
+(defhost krb0.any (any 5))
+(defhost krb1.any (any 6))
;;;--------------------------------------------------------------------------
;;; Host switch.