static void arith2_normalise(ArithCoder *c)

{

    while ((c->high >> 15) - (c->low >> 15) < 2) {

        if ((c->low ^ c->high) & 0x10000) {

            c->high  ^= 0x8000;

            c->value ^= 0x8000;

            c->low   ^= 0x8000;

        }

        c->high  = c->high  << 8 & 0xFFFFFF | 0xFF;

        c->value = c->value << 8 & 0xFFFFFF | bytestream2_get_byte(c->gbc.gB);

        c->low   = c->low   << 8 & 0xFFFFFF;

    }

}

static void arith2_normalise(ArithCoder *c)

{

    while ((c->high >> 15) - (c->low >> 15) < 2) {

        if ((c->low ^ c->high) & 0x10000) {

            c->high  ^= 0x8000;

            c->value ^= 0x8000;

            c->low   ^= 0x8000;

        }

        c->high  = c->high  << 8 & 0xFFFFFF | 0xFF;

        c->value = c->value << 8 & 0xFFFFFF | bytestream2_get_byte(c->gbc.gB);

        c->low   = c->low   << 8 & 0xFFFFFF;

    }

}

        c->high  = c->high  << 8 & 0xFFFFFF | 0xFF;         c->value = c->value << 8 & 0xFFFFFF | bytestream2_get_byte(c->gbc.gB);         c->low   = c->low   << 8 & 0xFFFFFF;
static void FUNC_0(ArithCoder *VAR_0)

{

    while ((VAR_0->high >> 15) - (VAR_0->low >> 15) < 2) {

        if ((VAR_0->low ^ VAR_0->high) & 0x10000) {

            VAR_0->high  ^= 0x8000;

            VAR_0->value ^= 0x8000;

            VAR_0->low   ^= 0x8000;

        }

        VAR_0->high  = VAR_0->high  << 8 & 0xFFFFFF | 0xFF;

        VAR_0->value = VAR_0->value << 8 & 0xFFFFFF | bytestream2_get_byte(VAR_0->gbc.gB);

        VAR_0->low   = VAR_0->low   << 8 & 0xFFFFFF;

    }

}

static void FUNC_0(ArithCoder *VAR_0)
{ while ((VAR_0->high >> 15) - (VAR_0->low >> 15) < 2) { if ((VAR_0->low ^ VAR_0->high) & 0x10000) { VAR_0->high  ^= 0x8000; VAR_0->value ^= 0x8000; VAR_0->low   ^= 0x8000; } VAR_0->high  = VAR_0->high  << 8 & 0xFFFFFF | 0xFF; VAR_0->value = VAR_0->value << 8 & 0xFFFFFF | bytestream2_get_byte(VAR_0->gbc.gB); VAR_0->low   = VAR_0->low   << 8 & 0xFFFFFF; } }