#include <stdio.h>
#include <stdint.h>
int main(void) {
// your code goes here
printf("%d", _Alignof
(uint64_t)); return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdGRpbnQuaD4KaW50IG1haW4odm9pZCkgewoJLy8geW91ciBjb2RlIGdvZXMgaGVyZQoJcHJpbnRmKCIlZCIsIF9BbGlnbm9mKHVpbnQ2NF90KSk7CglyZXR1cm4gMDsKfQo=