// NOCHECK
void main(void) {
    int x;
    int i = 41;

    while(i >= 12) {
        x = 0;
        i--;
    }

    int y;
    int j = -40;

    while(-5 >= j) {
        y = 0;
        j++;
    }

    int z;
    int k = 41;
    while(k != 0) {
        z = 0;
        k--;
    }
}
