int main(){
int * a;
int i,j;
int k = __NONDET__();
if ( k <= 0 || k > 100) return -1;
a= malloc( k * sizeof(int));
ASSUME(a != NULL);
ASSUME(k >= 100);
for (i =0 ; i != k; i++)
if (a[i] <= 1) break;
i--;
for (j = 0; j < i; ++j)
a[j] = a[i];
return 0;
}
int main(){
int * a;
int k = __NONDET__();
int i;
if ( k <= 0 || k > 1000) return -1;
a= malloc( k * sizeof(int));
for (i =0 ; i != k; i++)
if (a[i]) return 1;
return 0;
}
int main(){
f_t * x, *z;
int * y, *w;
int n;
n = __NONDET__();
ASSUME(n > 0 );
ASSUME( n < 100);
x = (f_t*) malloc(n * sizeof(f_t));
y = (int *) x;
foo(y,2*n);
w = (int *) malloc( 2*n * sizeof(int));
z = (f_t*) w;
bar(z,n);
return 1;
}
int main(){
int a[5];
int len=0;
int i;
while(__NONDET__()){
if (len==4)
len =0;
a[len]=0;
len++;
}
return 1;
}
int main(){
int x,y;
x = 0; y = 0;
while(__NONDET__()){
x++; y++;
}
while(x > 0){
x--;
y--;
}
if(y != 0){
assert(1==0);
}
return 1;
}
