请帮我分析一下这里的for,while,putchar语句，运行结果为0BC

Question

int  k ; char *s = “ABC”；
   for( k=10; k != 0; k-- ) ；
   printf ( "%d", k )；
while( *s++ )  putchar( *s )；