void main(void) {
    int i, j, k, n, z, v;

    j = 3;
    k = 3;

    z = 0;

    v = 10;

    for (i = 0; i < 20000; i += 1) {
        j = j - z;  /* propagate/fold/eliminate, since z = 0 */
        k = k + j - 3; /* no op, since j - 3 = 0 */
        for (n = 0; n < 20000; n += 1) {
            v = v * (j/k);  /* j/k = 1, since j and k = 3 */
        }
    }
    
    v = v + v;
}