bitset annotation added