DivArithmeticTest/UInt32Arithmetic.UsingLoadParamAndLoadConst/13 (from DivArithmeticTest_UInt32Arithmetic)