#include <stdio.h>
#include <stdint.h>
int main(void) {
// your code goes here
uintptr_t start = 0;
uintptr_t end = 12;
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdGRpbnQuaD4KaW50IG1haW4odm9pZCkgewoJLy8geW91ciBjb2RlIGdvZXMgaGVyZQoJdWludHB0cl90IHN0YXJ0ID0gMDsKCXVpbnRwdHJfdCBlbmQgPSAxMjsKCXByaW50ZigiJXUiLCBlbmQgLSBzdGFydCk7CglyZXR1cm4gMDsKfQo=