bitstruct_annotated
