CC: Operator % needed to check type constraint beyond Arith.
IR: Fixed pointer arithmetic.