__attribute__((section(".text")))
char main[] = {
        0xeb, 0x05, 
        0x33, 0x90, 0x90, 0x90, 0x90,
        0x48, 0xc7, 0xc6, 0x01, 0x00, 0x00, 0x00,
        0x48, 0x8d, 0x35, 0xed, 0xff, 0xff, 0xff,
        0x48, 0xc7, 0xc0, 0x01, 0x00, 0x00, 0x00,
        0x48, 0xc7, 0xc2, 0x01, 0x00, 0x00, 0x00,
        0x0F, 0x05,
        0xC3};