/* hallo.c */
#include <stdio.h>
int main (void) {
   printf("Hallo Welt\n");
   return 0;
}