anders.com: djbdns / tinydns Record Builder