code: def BitVecFuncSym(
          name: str,
          func_name: str,
          size: int,
          annotations: Annotations = None,
          input_: Union[int, "BitVec"] = None,
      ) -> BitVecFunc:
          
          raise NotImplementedError()
docs: Creates a new bit vector function with a symbolic value.
  
          :param name: The name of the symbolic bit vector
          :param func_name: The name of the bit vector function
          :param size: The size of the bit vector
          :param annotations: The annotations to initialize the bit vector with
          :param input_: The input to the bit vector function
          :return: The freshly created bit vector function