Bit-Vector Efficient bit vector, set of integers and ``big int'' math library Steffen Beyer (sb@engelschall.com)