(defhost vampire.untrusted (untrusted 3))
;; Virtual private network.
-(defhost crybaby.vpn (vpn 1))
+(defhost crybaby.vpn ((:ipv4 vpn 1) (:ipv6 vpn "::1:0")))
(defhost terror.vpn ((:ipv4 vpn 2)))
-(defhost orange.vpn (vpn 3))
+(defhost orange.vpn ((:ipv4 vpn 3) (:ipv6 vpn "::3:0")))
;; Iodine network.
(defhost jazz.iodine (iodine 1))
(defhost jazz.colo (colo 5))
;; Anycast addresses for services.
-(defhost dns0.any (any 0))
-(defhost dns1.any (any 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))
+(defhost dns0.any ((:ipv4 any 0) (:ipv6 any "::0:0")))
+(defhost dns1.any ((:ipv4 any 1) (:ipv6 any "::1:0")))
+(defhost ntp0.any ((:ipv4 any 2) (:ipv6 any "::2:0")))
+(defhost ntp1.any ((:ipv4 any 3) (:ipv6 any "::3:0")))
+(defhost www-cache.any ((:ipv4 any 4) (:ipv6 any "::4:0")))
+(defhost krb0.any ((:ipv4 any 5) (:ipv6 any "::5:0")))
+(defhost krb1.any ((:ipv4 any 6) (:ipv6 any "::6:0")))
;;;--------------------------------------------------------------------------
;;; Host switch.