DNS decoding appears to typecheck...

Now to test. Boy have I been dreading this.