static double get_video_clock(VideoState *is)

{

    if (is->paused) {

        return is->video_current_pts;

    } else {

        return is->video_current_pts + (av_gettime() - is->video_current_pts_time) / 1000000.0;

    }

}

static double get_video_clock(VideoState *is)

{

    if (is->paused) {

        return is->video_current_pts;

    } else {

        return is->video_current_pts + (av_gettime() - is->video_current_pts_time) / 1000000.0;

    }

}

        return is->video_current_pts + (av_gettime() - is->video_current_pts_time) / 1000000.0;
static double FUNC_0(VideoState *VAR_0)

{

    if (VAR_0->paused) {

        return VAR_0->video_current_pts;

    } else {

        return VAR_0->video_current_pts + (av_gettime() - VAR_0->video_current_pts_time) / 1000000.0;

    }

}

static double FUNC_0(VideoState *VAR_0)
{ if (VAR_0->paused) { return VAR_0->video_current_pts; } else { return VAR_0->video_current_pts + (av_gettime() - VAR_0->video_current_pts_time) / 1000000.0; } }