ShiftAndRotateTest/UInt32ShiftAndRotate.UsingRhsConst/13 (from ShiftAndRotateTest_UInt32ShiftAndRotate)