ps1.c

#include <stdio.h>
#include <assert.h>
int mainQ(int k){
     assert (k>=0);          
     int y = 0;
     int x = 0;
     int c = 0;

     while(1){
	  //%%%traces: int x, int y, int k
	  if (!(c < k)) break;
    
	  c = c + 1;
	  y = y + 1;
	  x = x + 1;
     }
     return x;
}



int main(int argc, char **argv){
     mainQ(atoi(argv[1]));
     return 0;
}