/**
 * This file has no copyright assigned and is placed in the Public Domain.
 * This file is part of the mingw-w64 runtime package.
 * No warranty is given; refer to the file DISCLAIMER.PD within this package.
 */
#include <stdio.h>
#include <stdlib.h>

int main(int argc, char **argv)
{
  printf ("Hallo world!\n");
  return 0;
}
