ANNOTATION__BR_CNTR_SATURATED_FLAG
avg = ceil((double)(br_cntr[i] & ~ANNOTATION__BR_CNTR_SATURATED_FLAG) /
if (br_cntr[i] & ANNOTATION__BR_CNTR_SATURATED_FLAG) {
if (br_cntr[i] & ANNOTATION__BR_CNTR_SATURATED_FLAG)
branch_br_cntr[off + i + base] |= ANNOTATION__BR_CNTR_SATURATED_FLAG;