static int rice_count_exact(int32_t *res, int n, int k)

{

    int i;

    int count = 0;



    for (i = 0; i < n; i++) {

        int32_t v = -2 * res[i] - 1;

        v ^= v >> 31;

        count += (v >> k) + 1 + k;

    }

    return count;

}

static int rice_count_exact(int32_t *res, int n, int k)

{

    int i;

    int count = 0;



    for (i = 0; i < n; i++) {

        int32_t v = -2 * res[i] - 1;

        v ^= v >> 31;

        count += (v >> k) + 1 + k;

    }

    return count;

}

static int rice_count_exact(int32_t *res, int n, int k)     int count = 0;     int count = 0;
static int FUNC_0(int32_t *VAR_0, int VAR_1, int VAR_2)

{

    int VAR_3;

    int VAR_4 = 0;



    for (VAR_3 = 0; VAR_3 < VAR_1; VAR_3++) {

        int32_t v = -2 * VAR_0[VAR_3] - 1;

        v ^= v >> 31;

        VAR_4 += (v >> VAR_2) + 1 + VAR_2;

    }

    return VAR_4;

}

static int FUNC_0(int32_t *VAR_0, int VAR_1, int VAR_2)
{ int VAR_3; int VAR_4 = 0; for (VAR_3 = 0; VAR_3 < VAR_1; VAR_3++) { int32_t v = -2 * VAR_0[VAR_3] - 1; v ^= v >> 31; VAR_4 += (v >> VAR_2) + 1 + VAR_2; } return VAR_4; }