(defhost chiark.greenend.org.uk ((:ipv4 "212.13.197.229")
(:ipv6 "2001:ba8:1e3::")))
(defhost mccoy.flatline.org.uk "80.74.241.31")
(defhost chiark.greenend.org.uk ((:ipv4 "212.13.197.229")
(:ipv6 "2001:ba8:1e3::")))
(defhost mccoy.flatline.org.uk "80.74.241.31")