// S : tags   min c++  $TAGS
// S : expect --result valid
// S : cc     -o test.bc  $CC_OPT $file
// S : verify  $V_OPT test.bc

double x = 0;

int main() {
    x += 16;
    x /= 4;
    x *= 2;
    x -= 8;
    return x;
}