#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <inttypes.h>
int main ()
{
uint64_t foo = 10;
printf("foo is equal to %" PRIX64
"!\n", foo
); return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdGRsaWIuaD4KI2luY2x1ZGUgPHN0cmluZy5oPgojaW5jbHVkZSA8aW50dHlwZXMuaD4KCmludCBtYWluICgpCnsKICAgIHByaW50ZigiJXNcbiIsIFBSSVg2NCk7CiAgICB1aW50NjRfdCBmb28gPSAxMDsKICAgIHByaW50ZigiZm9vIGlzIGVxdWFsIHRvICUiIFBSSVg2NCAiIVxuIiwgZm9vKTsKICAgIHJldHVybiAwOwp9Cg==