can u make a counter for 0-9999 with c ?
int i=0; while( i++ < 9999 );
Although the source code may be briefer, it is rather unlikely that the generated machine code will be any different at all...
*pssschhhht* ...he doesn't know that! ;-)