const char main[] =
    "UH\x89\xe5\xb8\1\0\0\0\xbb\1\0\0\0g\x8d"
    "5\x10\0\0\0\xba\r\0\0\0\xf\5\xb8\x3c\0\0\0"
    "1\xdb\xf\5Hello World!\n]\xc3";