user_printf      2800 ext/standard/basic_functions.c 	PHP_NAMED_FE(printf,			PHP_FN(user_printf),					arginfo_printf)
user_printf       694 ext/standard/formatted_print.c PHP_FUNCTION(user_printf)
user_printf        63 ext/standard/php_string.h PHP_FUNCTION(user_printf);