-(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))
-
-;;;--------------------------------------------------------------------------
-;;; Satellite networks.
-
-;; Binswood. Address range retroactively claimed from Cambridge G-RIN.
-(defnet binswood.org.uk 10.165.27.0/24
- (binswood 256))
-(defhost netgear.binswood (binswood 1))
-(defhost linksys.binswood (binswood 2))
-(defhost mango.binswood (binswood 3))
-(defhost hplaser.binswood (binswood 4))
+(defhost dns0.any ((:ipv4 any 0) (:ipv6 any "::0:1")))
+(defhost dns1.any ((:ipv4 any 1) (:ipv6 any "::1:1")))
+(defhost ntp0.any ((:ipv4 any 2) (:ipv6 any "::2:1")))
+(defhost ntp1.any ((:ipv4 any 3) (:ipv6 any "::3:1")))
+(defhost www-cache.any ((:ipv4 any 4) (:ipv6 any "::4:1")))
+(defhost krb0.any ((:ipv4 any 5) (:ipv6 any "::5:1")))
+(defhost krb1.any ((:ipv4 any 6) (:ipv6 any "::6:1")))