/* 1*/ #include <stdio.h>
/* 3*/ main()
/* 4*/ {
/* 5*/ int i = 6;
/* 6*/ int j = 2;
/* 7*/ int *pi = &j;
/* 8*/ int k;
/*10*/ k = i/*pi;
/*12*/ while (k > O)
/*13*/ printf("k = %d\n", k--); /* display k */
/*15*/ printf("Done\n");
/*16*/ }