#include <stdio.h>
int
main(int argc, char **argv)
{
printf("Hello world!\n");
(void)argc;
(void)argv;
return 0;
}