ShiftAndRotateTest/UInt64ShiftAndRotate.UsingRhsConst/25 (from ShiftAndRotateTest_UInt64ShiftAndRotate)