static double get_audio_clock(VideoState *is)

{

    double pts;

    int hw_buf_size, bytes_per_sec;

    pts = is->audio_clock;

    hw_buf_size = audio_write_get_buf_size(is);

    bytes_per_sec = 0;

    if (is->audio_st) {

        bytes_per_sec = is->audio_st->codec->sample_rate *

                        2 * is->audio_st->codec->channels;

    }

    if (bytes_per_sec)

        pts -= (double)hw_buf_size / bytes_per_sec;

    return pts;

}

static double get_audio_clock(VideoState *is)

{

    double pts;

    int hw_buf_size, bytes_per_sec;

    pts = is->audio_clock;

    hw_buf_size = audio_write_get_buf_size(is);

    bytes_per_sec = 0;

    if (is->audio_st) {

        bytes_per_sec = is->audio_st->codec->sample_rate *

                        2 * is->audio_st->codec->channels;

    }

    if (bytes_per_sec)

        pts -= (double)hw_buf_size / bytes_per_sec;

    return pts;

}

static double FUNC_0(VideoState *VAR_0)

{

    double VAR_1;

    int VAR_2, VAR_3;

    VAR_1 = VAR_0->audio_clock;

    VAR_2 = audio_write_get_buf_size(VAR_0);

    VAR_3 = 0;

    if (VAR_0->audio_st) {

        VAR_3 = VAR_0->audio_st->codec->sample_rate *

                        2 * VAR_0->audio_st->codec->channels;

    }

    if (VAR_3)

        VAR_1 -= (double)VAR_2 / VAR_3;

    return VAR_1;

}

static double FUNC_0(VideoState *VAR_0)
{ double VAR_1; int VAR_2, VAR_3; VAR_1 = VAR_0->audio_clock; VAR_2 = audio_write_get_buf_size(VAR_0); VAR_3 = 0; if (VAR_0->audio_st) { VAR_3 = VAR_0->audio_st->codec->sample_rate *
2 * VAR_0->audio_st->codec->channels; } if (VAR_3)
VAR_1 -= (double)VAR_2 / VAR_3; return VAR_1; }