extern int __VERIFIER_nondet_int(void);

int foo(int k,int i){
if (k >= 0) {
		
	} else {
		i = -1;
	}
while (i >= 0) {
		i = __VERIFIER_nondet_int();
	}
i = 2;
return 0;
}