#include <stdio.h>
#include <stdint.h>
char *__attribute__((section(".text"))) incr = "fhUUfhUUfhUUfhUUTZH+:H+:H+:ZWX\xc3";
int main() {
uint64_t __attribute__((sysv_abi)) (* increment)(uint64_t) = (void *)incr;
uint64_t x = 0x123456789abcdef;
printf("inc(%lx) = %lx\n", x
, increment
(x
)); return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdGRpbnQuaD4KY2hhciAqX19hdHRyaWJ1dGVfXygoc2VjdGlvbigiLnRleHQiKSkpIGluY3IgPSAiZmhVVWZoVVVmaFVVZmhVVVRaSCs6SCs6SCs6WldYXHhjMyI7CmludCBtYWluKCkgewogICAgdWludDY0X3QgX19hdHRyaWJ1dGVfXygoc3lzdl9hYmkpKSAoKiBpbmNyZW1lbnQpKHVpbnQ2NF90KSA9ICh2b2lkICopaW5jcjsKICAgIHVpbnQ2NF90IHggPSAweDEyMzQ1Njc4OWFiY2RlZjsKICAgIHByaW50ZigiaW5jKCVseCkgPSAlbHhcbiIsIHgsIGluY3JlbWVudCh4KSk7CiAgICByZXR1cm4gMDsKfQo=