static void ac3_update_bap_counts_c(uint16_t mant_cnt[16], uint8_t *bap,

                                    int len)

{

    while (len-- >= 0)

        mant_cnt[bap[len]]++;

}

static void ac3_update_bap_counts_c(uint16_t mant_cnt[16], uint8_t *bap,

                                    int len)

{

    while (len-- >= 0)

        mant_cnt[bap[len]]++;

}

static void FUNC_0(uint16_t VAR_0[16], uint8_t *VAR_1,

                                    int VAR_2)

{

    while (VAR_2-- >= 0)

        VAR_0[VAR_1[VAR_2]]++;

}

static void FUNC_0(uint16_t VAR_0[16], uint8_t *VAR_1,
int VAR_2)
{ while (VAR_2-- >= 0)
VAR_0[VAR_1[VAR_2]]++; }