int f() {
    int x = 0;
    
    while(x < 5) {
	int y = 0;
	x++;
    }
    
    return x;
}