type(i64 != i)
