asctimebuf       1481 main/main.c    				char *datetime_str, asctimebuf[52];
asctimebuf       1486 main/main.c    				datetime_str = php_asctime_r(ta, asctimebuf);