#include <stdio.h>
#define UNUSED(x) ((void)(x))
int main(int argc, char* argv[])
{
UNUSED(argc); UNUSED(argv);
printf("Hallo Welt!\n");
return 0; }