code: def indexOf(self, pattern, start_idx, bitlength):
          
          return StrIndexOf(self, pattern, start_idx, bitlength)
docs: Return the start index of the pattern inside the input string in a
          Bitvector representation, otherwise it returns -1 (always using a BitVector)
  
          :param bitlength: size of the biitvector holding the result