#include <stdio.h>
#include <string.h>
int main(){
double a = 1231.23123;
char b[32];
char c[32] = "1231.23123";
}
else{
}
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdHJpbmcuaD4KaW50IG1haW4oKXsKICAgIGRvdWJsZSBhID0gMTIzMS4yMzEyMzsKICAgIGNoYXIgYlszMl07CiAgICBzcHJpbnRmKGIsICIlZiIsYSk7CiAgICBwcmludGYoIiVzXG4iLGIgKTsKICAgIGNoYXIgY1szMl0gPSAiMTIzMS4yMzEyMyI7CiAgICBpZiAoc3RyY21wKGMsYikgPT0gMCl7CiAgICAgICAgcHJpbnRmKCJTVUNDRVNcbiIpOwogICAgfQogICAgZWxzZXsKICAgICAgICBwcmludGYoIkRJRkZFUlxuIik7CiAgICB9CiAgICByZXR1cm4gMDsKfQ==