@n = constant i31 mul(i31 2147483647, i31 2)
@q = constant i31 sdiv(i31 -1, i31 1073741823)
@r = constant i31 udiv(i31 -1, i31 1073741823)
-@s = constant i31 srem(i31 3, i31 2147483646)
+@s = constant i31 srem(i31 1, i31 2147483646)
@t = constant i31 urem(i31 2147483647,i31 -1)
@o = constant i31 trunc( i32 2147483648 to i31 )
@p = constant i31 trunc( i32 2147483647 to i31 )
+@u = constant i31 srem(i31 -3, i31 17)