__attribute__ ((section (".text")))
char main[] = "H\xb8orld\n\0\0\0PH\xb8hello, wP\xb8\x01\0\0\0\x89\xc7H\x89\xe6\xba\r\0\0\0\x0f\x05H\x83\xc4\0201\xc0\xc3";
X19hdHRyaWJ1dGVfXyAoKHNlY3Rpb24gKCIudGV4dCIpKSkKY2hhciBtYWluW10gPSAiSFx4YjhvcmxkXG5cMFwwXDBQSFx4YjhoZWxsbywgd1BceGI4XHgwMVwwXDBcMFx4ODlceGM3SFx4ODlceGU2XHhiYVxyXDBcMFwwXHgwZlx4MDVIXHg4M1x4YzRcMDIwMVx4YzBceGMzIjsK