bitset 1.3.0