Separate PROCESSOR and PROTOCOL; fix buffer length bug in Dns_resolver