#include <seqan3/core/debug_stream.hpp>
#include <seqan3/range/container/dynamic_bitset.hpp>

int main()
{
    seqan3::dynamic_bitset const t1{"10001100"};

    seqan3::dynamic_bitset t2 = t1 >> 3;
    seqan3::debug_stream << t2 << '\n'; // 0001'0001
}
