void print_int(int n) {}

void main(void) {
    int i, j, v;

    /* this entire loop is dead code, since it's effect-free
     * and its definitions do not reach the final use */
    for (i = 0; i < 60000; i += 1) {
        for (j = 0; j < 60000; j += 1) {
            v = v + (i - j);
        }
    }

    i = 0;
    j = 0;
    v = 0;

    print_int(i + j + v);
}