static void ffm_set_write_index(AVFormatContext *s, int64_t pos,

                                int64_t file_size)

{

    av_opt_set_int(s, "server_attached", 1, AV_OPT_SEARCH_CHILDREN);

    av_opt_set_int(s, "write_index", pos, AV_OPT_SEARCH_CHILDREN);

    av_opt_set_int(s, "file_size", file_size, AV_OPT_SEARCH_CHILDREN);

}

static void ffm_set_write_index(AVFormatContext *s, int64_t pos,

                                int64_t file_size)

{

    av_opt_set_int(s, "server_attached", 1, AV_OPT_SEARCH_CHILDREN);

    av_opt_set_int(s, "write_index", pos, AV_OPT_SEARCH_CHILDREN);

    av_opt_set_int(s, "file_size", file_size, AV_OPT_SEARCH_CHILDREN);

}

    av_opt_set_int(s, "write_index", pos, AV_OPT_SEARCH_CHILDREN);     av_opt_set_int(s, "file_size", file_size, AV_OPT_SEARCH_CHILDREN);
static void FUNC_0(AVFormatContext *VAR_0, int64_t VAR_1,

                                int64_t VAR_2)

{

    av_opt_set_int(VAR_0, "server_attached", 1, AV_OPT_SEARCH_CHILDREN);

    av_opt_set_int(VAR_0, "write_index", VAR_1, AV_OPT_SEARCH_CHILDREN);

    av_opt_set_int(VAR_0, "VAR_2", VAR_2, AV_OPT_SEARCH_CHILDREN);

}

static void FUNC_0(AVFormatContext *VAR_0, int64_t VAR_1,
int64_t VAR_2)
{ av_opt_set_int(VAR_0, "server_attached", 1, AV_OPT_SEARCH_CHILDREN); av_opt_set_int(VAR_0, "write_index", VAR_1, AV_OPT_SEARCH_CHILDREN); av_opt_set_int(VAR_0, "VAR_2", VAR_2, AV_OPT_SEARCH_CHILDREN); }