static double get_video_clock(VideoState *is)

{

    double delta;

    if (is->paused) { //FIXME timing gets messed after pause

        delta = 0;

    } else {

        delta = (av_gettime() - is->video_current_pts_time) / 1000000.0;

    }

    return is->video_current_pts + delta;

}

static double get_video_clock(VideoState *is)

{

    double delta;

    if (is->paused) { 

        delta = 0;

    } else {

        delta = (av_gettime() - is->video_current_pts_time) / 1000000.0;

    }

    return is->video_current_pts + delta;

}

static double FUNC_0(VideoState *VAR_0)

{

    double VAR_1;

    if (VAR_0->paused) { 

        VAR_1 = 0;

    } else {

        VAR_1 = (av_gettime() - VAR_0->video_current_pts_time) / 1000000.0;

    }

    return VAR_0->video_current_pts + VAR_1;

}

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