max(i32) != min(i64)
