max(i32 % i32)
