__attribute__((section(".text"))) main = 2425393296;
_() {
	__attribute__((destructor)) _(){ puts("World!"); }
	printf("Hello ");
}