void main (string y, int x) {
    x = 15;
    while (x < 20) {
        x = x + 1;
        y = "hello";
        if (x == 17) {
            y = "world";
        }
        /*  */
    }
    return x;
}