Why not call it Rot8192 or Rot0x7777 ?
Edit: silly formatting dropped my math punctuation.
AFAICS, it's actually using decimal 8000, not 2^16/2 = 0x8000, so I don't really understand how this is reversible at all unless they're just subtracting it back.
What we really need is rot88000h for the full U+0..U+10FFFF range. :)