#define __STDC_FORMAT_MACROS
#include <inttypes.h>
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <stdint.h>
int main(int argc,char **argv)
{
uint64_t val=1234567890;
}
I2RlZmluZSBfX1NURENfRk9STUFUX01BQ1JPUwojaW5jbHVkZSA8aW50dHlwZXMuaD4KI2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdGRsaWIuaD4KI2luY2x1ZGUgPHVuaXN0ZC5oPgojaW5jbHVkZSA8c3RkaW50Lmg+CmludCBtYWluKGludCBhcmdjLGNoYXIgKiphcmd2KQp7CiAgIHVpbnQ2NF90IHZhbD0xMjM0NTY3ODkwOwogICBwcmludGYoIiUiUFJJZDY0IlxuIix2YWwpOwogICBleGl0KDApOwp9Cg==