code: function int64rrot(dst, x, shift) {
          dst.l = (x.l >>> shift) | (x.h << (32 - shift));
          dst.h = (x.h >>> shift) | (x.l << (32 - shift));
        }
docs: Right-rotates a 64-bit number by shift Won't handle cases of shift>=32 The function revrrot() is for that