#include <stdio.h>
#include <stdint.h>
const char __attribute__((section(".text"))) vrot8[] = "WXfPPfXX\xc3";
int main() {
uint64_t __attribute__((sysv_abi)) (*rotator)(uint64_t) = vrot8;
uint64_t x = 0x123456789abcdef;
printf("rot(%lx) = %lx\n", x
, rotator
(x
)); return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdGRpbnQuaD4KY29uc3QgY2hhciBfX2F0dHJpYnV0ZV9fKChzZWN0aW9uKCIudGV4dCIpKSkgdnJvdDhbXSA9ICJXWGZQUGZYWFx4YzMiOwppbnQgbWFpbigpIHsKCXVpbnQ2NF90IF9fYXR0cmlidXRlX18oKHN5c3ZfYWJpKSkgKCpyb3RhdG9yKSh1aW50NjRfdCkgPSB2cm90ODsKCXVpbnQ2NF90IHggPSAweDEyMzQ1Njc4OWFiY2RlZjsKCXByaW50Zigicm90KCVseCkgPSAlbHhcbiIsIHgsIHJvdGF0b3IoeCkpOwoJcmV0dXJuIDA7Cn0=