not (i32 != i64)
