dns: use different buffers for encoding and decoding names