#include <stdio.h>
#include <stdint.h>
int main(void) {
int32_t x = -5;
int64_t y = (int64_t) x;
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdGRpbnQuaD4KCmludCBtYWluKHZvaWQpIHsKCWludDMyX3QgeCA9IC01OwoJcHJpbnRmKCIlMDh4XG4iLCB4KTsKCWludDY0X3QgeSA9IChpbnQ2NF90KSB4OwoJcHJpbnRmKCIlMTZ4XG4iLCB5KTsKCXJldHVybiAwOwp9Cg==