def BitVecFuncVal(
        value: int,
        func_name: str,
        size: int,
        annotations: Annotations = None,
        input_: Union[int, "BitVec"] = None,
    ) -> BitVecFunc:
        """Creates a new bit vector function with a symbolic value.

        :param value: The concrete value to set the bit vector to
        :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
        """
        raise NotImplementedError()
Creates a new bit vector function with a symbolic value.

        :param value: The concrete value to set the bit vector to
        :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