#include <stddef.h>
#include <stdint.h>
#include <stdio.h>
int main(void)
{
size_t sz = SIZE_MAX;
}
I2luY2x1ZGUgPHN0ZGRlZi5oPgojaW5jbHVkZSA8c3RkaW50Lmg+CiNpbmNsdWRlIDxzdGRpby5oPgoKaW50IG1haW4odm9pZCkKewogICAgc2l6ZV90IHN6ID0gU0laRV9NQVg7CgogICAgcHJpbnRmKCIlenVcbiIsIHN6KTsKfQ==