#include <stdio.h>
#include <stdint.h>
int main(void) {
// your code goes here
uint64_t x = (1ULL << 45) + 4095;
uint32_t y = 4094;
uint64_t diff = x - y;
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdGRpbnQuaD4KCmludCBtYWluKHZvaWQpIHsKCS8vIHlvdXIgY29kZSBnb2VzIGhlcmUKCXVpbnQ2NF90IHggPSAoMVVMTCA8PCA0NSkgKyA0MDk1OwoJdWludDMyX3QgeSA9IDQwOTQ7Cgl1aW50NjRfdCBkaWZmID0geCAtIHk7CglwcmludGYoIiVsdSIsIGRpZmYpOwoJcHJpbnRmKCJcbiVsdSIsIHgpOwoJcmV0dXJuIDA7Cn0K