code: function int64shr(dst, x, shift) {
          dst.l = (x.l >>> shift) | (x.h << (32 - shift));
          dst.h = (x.h >>> shift);
        }
docs: Bitwise-shifts right a 64-bit number by shift Won't handle shift>=32, but it's never needed in SHA512