- * BUGS: No known bugs, even though they may certainly be in here somewhere.
- * Possible performance improvements could be to remove the div in
- * bitmask_overlap_pos() and to implement wider stripes if the masks used
- * are wider than 64 bits on the average.
- *