Il codice e corretto, il programma esegue il commando printf e poi termina da solo, se vuoi visualizzare la scitta devi fare in modo che aspetti.
fai cosi

#include <stdio.h>
void main()
{
int a;
printf ("Ciao Mondo\n"); /*stampa*/
scanf("%d",&a);

}