void ff_vp56_init_range_decoder(VP56RangeCoder *c, const uint8_t *buf, int buf_size)

{

    c->high = 255;

    c->bits = -16;

    c->buffer = buf;

    c->end = buf + buf_size;

    c->code_word = bytestream_get_be24(&c->buffer);

}

void ff_vp56_init_range_decoder(VP56RangeCoder *c, const uint8_t *buf, int buf_size)

{

    c->high = 255;

    c->bits = -16;

    c->buffer = buf;

    c->end = buf + buf_size;

    c->code_word = bytestream_get_be24(&c->buffer);

}

void ff_vp56_init_range_decoder(VP56RangeCoder *c, const uint8_t *buf, int buf_size)
void FUNC_0(VP56RangeCoder *VAR_0, const uint8_t *VAR_1, int VAR_2)

{

    VAR_0->high = 255;

    VAR_0->bits = -16;

    VAR_0->buffer = VAR_1;

    VAR_0->end = VAR_1 + VAR_2;

    VAR_0->code_word = bytestream_get_be24(&VAR_0->buffer);

}

void FUNC_0(VP56RangeCoder *VAR_0, const uint8_t *VAR_1, int VAR_2)
{ VAR_0->high = 255; VAR_0->bits = -16; VAR_0->buffer = VAR_1; VAR_0->end = VAR_1 + VAR_2; VAR_0->code_word = bytestream_get_be24(&VAR_0->buffer); }