#include /* For input and output */void main(){ printf("%d ", 10); /* Output a random digit */ printf("\r"); /* go to beginning of the line */}