Untitled Document

(1)

This encoding is also sometimes called, whimsically enough, mangling; the corresponding decoding is sometimes called demangling.