#include <iostream>
#include <type_traits>
using namespace std;
int main() {
static_assert(is_convertible<int64_t, int>::value);
int64_t a = 1234567890123456ll;
int b = a; // UB or not UB? that's teh question...
cout << b << endl;
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8dHlwZV90cmFpdHM+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CgppbnQgbWFpbigpIHsKCXN0YXRpY19hc3NlcnQoaXNfY29udmVydGlibGU8aW50NjRfdCwgaW50Pjo6dmFsdWUpOwoJaW50NjRfdCBhID0gMTIzNDU2Nzg5MDEyMzQ1NmxsOwoJaW50IGIgPSBhOyAgLy8gVUIgb3Igbm90IFVCPyB0aGF0J3MgdGVoIHF1ZXN0aW9uLi4uCgljb3V0IDw8IGIgPDwgZW5kbDsKCXJldHVybiAwOwp9