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