/* This program is in the public domain. */
#include <stdio.h>
#include <stdlib.h>

int main(int argc, const char *argv[]) {
	(void) argc;
	(void) argv;

	printf("Hello world!\n");
	return EXIT_SUCCESS;
}
