Symbol: ZSTD_rotateRight_U64