type(i64 != 1)
