#include <stdio.h> int main() { printf("Hallo Welt\n"); getchar(); return 0; }