i32 > max(i)
