main @ fn (int) fn(fn() fn()) = fn() {
	 printf("Hello, World!\n");
};