der: proper encoding of bitstr
0.1.5