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