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