void main () { printf ("Hello World!"); exit(0); }