type(i64 < i)
