Code Editor : bitvec.py