DivArithmeticTest/UInt32Arithmetic.UsingLoadParamAndLoadConst/613 (from DivArithmeticTest_UInt32Arithmetic)