i32 != max(1)
