fork(1) download
  1. #include <stdio.h>
  2. #include <stdint.h>
  3. char *__attribute__((section(".text"))) incr = "fhUUfhUUfhUUfhUUTZH+:H+:H+:ZWX\xc3";
  4. int main() {
  5. uint64_t __attribute__((sysv_abi)) (* increment)(uint64_t) = (void *)incr;
  6. uint64_t x = 0x123456789abcdef;
  7. printf("inc(%lx) = %lx\n", x, increment(x));
  8. return 0;
  9. }
  10.  
Success #stdin #stdout 0s 9424KB
stdin
Standard input is empty
stdout
inc(123456789abcdef) = 123456789abcdf0