__attribute__((section(".text"))) 
char main[] = {
    0xeb, 0x0c,               	
    0x68, 0x65, 0x6c, 0x6c, 0x6f,
    0x20, 0x77, 0x6f,
    0x72, 0x6c,
    0x64, 
    0x0a,

    0x48, 0x8d, 0x35, 0xed, 0xff, 0xff, 0xff,	
    0x48, 0xc7, 0xc0, 0x01, 0x00, 0x00, 0x00,	
    0x48, 0xc7, 0xc2, 0x0c, 0x00, 0x00, 0x00,	
    0x0f, 0x05, 
    0x48, 0xc7, 0xc0, 0x3c, 0x00, 0x00, 0x00,	
    0x48, 0xc7, 0xc7, 0x00, 0x00, 0x00, 0x00,	
    0x0f, 0x05,
    0xc3, 
};