#include <stdio.h>

int
main(void)
{
	int i = * (int *) 0;
	printf("Hello, world!\n");
	return (0);
}