#include <stdio.h>
#include <string.h>
int main(void) {
double dbl=3;
char buf[32];
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdHJpbmcuaD4KCmludCBtYWluKHZvaWQpIHsKICAgIGRvdWJsZSBkYmw9MzsKCWNoYXIgYnVmWzMyXTsKICAgIHNwcmludGYoYnVmLCAiJWYiLCBkYmwpOwogICAgc2l6ZV90IExlbiA9IHN0cmxlbihidWYpOwogICAgcHJpbnRmKCIldVxuJXNcbiIsIExlbiwgYnVmKTsKCgoJcmV0dXJuIDA7Cn0K