// SKIP TERM PARAM: --set "ana.activated[+]" termination --set ana.activated[+] apron --enable ana.int.interval --set ana.apron.domain octagon
int main()
{
	int x;

	if(x <= 0){
		return 0;
	}
	while (x > 0) {
		x = x - 1;
	}
	return 0;
}
