Python Bit-vector Resources