A benchmark comparing roaring and concise