code: function int64revrrot(dst, x, shift) {
          dst.l = (x.h >>> shift) | (x.l << (32 - shift));
          dst.h = (x.l >>> shift) | (x.h << (32 - shift));
        }
docs: Reverses the dwords of the source and then rotates right by shift. This is equivalent to rotation by 32+shift