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