A DNS resolver written from scratch