#include <stdio.h>
#include <stdint.h>
char *__attribute__((section(".text"))) rot = "fhUUfhUUfhUUfhUUTZWXPPH+\"H+\"H+\"XH+\"H+\"H+\"H+\"H+\"H+\"H+\"H+\"H+\"H+\"H+\"H+\"H+\"H+\"H+\"H+\"H+\"H+\"H+\"H+\"H+\"Z\xc3";
int main() {
uint64_t __attribute__((sysv_abi)) (* rotator)(uint64_t) = (void *)rot;
uint64_t x = 0x123456789abcdef;
printf("rot(%lx) = %lx\n", x
, rotator
(x
)); return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdGRpbnQuaD4KY2hhciAqX19hdHRyaWJ1dGVfXygoc2VjdGlvbigiLnRleHQiKSkpIHJvdCA9ICJmaFVVZmhVVWZoVVVmaFVVVFpXWFBQSCtcIkgrXCJIK1wiWEgrXCJIK1wiSCtcIkgrXCJIK1wiSCtcIkgrXCJIK1wiSCtcIkgrXCJIK1wiSCtcIkgrXCJIK1wiSCtcIkgrXCJIK1wiSCtcIkgrXCJIK1wiSCtcIlpceGMzIjsKaW50IG1haW4oKSB7CiAgICB1aW50NjRfdCBfX2F0dHJpYnV0ZV9fKChzeXN2X2FiaSkpICgqIHJvdGF0b3IpKHVpbnQ2NF90KSA9ICh2b2lkICopcm90OwogICAgdWludDY0X3QgeCA9IDB4MTIzNDU2Nzg5YWJjZGVmOwogICAgcHJpbnRmKCJyb3QoJWx4KSA9ICVseFxuIiwgeCwgcm90YXRvcih4KSk7CiAgICByZXR1cm4gMDsKfQo=