filter(1 .. i64, ok)
