Port: BitVector