php_cli_server_get_system_time  340 sapi/cli/php_cli_server.c int php_cli_server_get_system_time(char *buf) {
php_cli_server_get_system_time  356 sapi/cli/php_cli_server.c int php_cli_server_get_system_time(char *buf) {