Fork of the SPARK-based DNS server