one(i32 .. i64, # >= #)
