DivArithmeticTest/UInt64Arithmetic.UsingLoadParamAndLoadConst/233 (from DivArithmeticTest_UInt64Arithmetic)