py-BitVector is a stub port
