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