type(i64 <= 1)
