#include <stdio.h>

extern void do_nothing(void);

main()
{
	printf("Hello, World!\n");
	do_nothing();
	sleep(1);
}