#include <stdio.h>
int main(void) {
char * string = "%4x_foo", tmpstr[100];
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbih2b2lkKSB7CgljaGFyICogc3RyaW5nID0gIiU0eF9mb28iLCB0bXBzdHJbMTAwXTsKCWludCBuID0gc3ByaW50Zih0bXBzdHIsc3RyaW5nLDEpOwoJcHJpbnRmKCIlZCIsbisxKTsKCXJldHVybiAwOwp9Cg==