#include <stdio.h>
#include <string.h>
char *tmp_name(void)
{
static char name[30];
static int sequence = 10;
name[3] = sequence + '0';
name[4] = '\0';
return (name);
}
int main()
{
char *tmp_name(void);
return (0);
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdHJpbmcuaD4KCmNoYXIgKnRtcF9uYW1lKHZvaWQpCnsKc3RhdGljIGNoYXIgbmFtZVszMF07CnN0YXRpYyBpbnQgc2VxdWVuY2UgPSAxMDsKCnN0cmNweShuYW1lLCAidG1wIik7CgpuYW1lWzNdID0gc2VxdWVuY2UgKyAnMCc7Cm5hbWVbNF0gPSAnXDAnOwoKcmV0dXJuIChuYW1lKTsKCn0KCmludCBtYWluKCkKewpjaGFyICp0bXBfbmFtZSh2b2lkKTsKCnByaW50ZigiJXNcbiIsIHRtcF9uYW1lKCkpOwoKcmV0dXJuICgwKTsKfQ==