#include <stdio.h>
void myprint(unsigned long a)
{
}
int main()
{
myprint(1 << 31);
myprint(0x80000000);
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgoKCiB2b2lkIG15cHJpbnQodW5zaWduZWQgbG9uZyBhKQogICAgewogICAgICAgIHByaW50ZigiSW5wdXQgaXMgJWx4XG4iLCBhKTsKICAgIH0KICAgIGludCBtYWluKCkKICAgIHsKICAgICAgICBteXByaW50KDEgPDwgMzEpOwogICAgICAgIG15cHJpbnQoMHg4MDAwMDAwMCk7CiAgICB9Cg==