[spc476]

So, using () as a marker for the length of a label, and (^name) for a label pointer, how do you handle

    ()a()b(^b)

The pointer goes backwards, but it doesn't go back to the start of a label sequence. So do you track the start of each label? Or just the start of each domain name?

Edit: nevermind, I see what you are doing.