#include <stdio.h>
#include <inttypes.h>
int main(void) {
uint64_t a = 1;
uint64_t b = 1;
printf("With %%d:\n");
printf("%d %d\n", a, b);
printf("%d\n", a);
printf("%d\n", b);
printf("With %%PRIu64\n");
printf("%" PRIu64 " %" PRIu64 "\n", a, b);
printf("%" PRIu64 "\n", a);
printf("%" PRIu64 "\n", b);
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxpbnR0eXBlcy5oPgoKaW50IG1haW4odm9pZCkgewoJdWludDY0X3QgYSA9IDE7Cgl1aW50NjRfdCBiID0gMTsKICAgIHByaW50ZigiV2l0aCAlJWQ6XG4iKTsKICAgIHByaW50ZigiJWQgJWRcbiIsIGEsIGIpOwogICAgcHJpbnRmKCIlZFxuIiwgYSk7CiAgICBwcmludGYoIiVkXG4iLCBiKTsKICAgIHByaW50ZigiV2l0aCAlJVBSSXU2NFxuIik7CiAgICBwcmludGYoIiUiIFBSSXU2NCAiICUiIFBSSXU2NCAiXG4iLCBhLCBiKTsKICAgIHByaW50ZigiJSIgUFJJdTY0ICJcbiIsIGEpOwogICAgcHJpbnRmKCIlIiBQUkl1NjQgIlxuIiwgYik7CglyZXR1cm4gMDsKfQo=