argv_str          621 sapi/phpdbg/phpdbg_prompt.c 			char *argv_str = strtok(param->str, " ");
argv_str          623 sapi/phpdbg/phpdbg_prompt.c 			while (argv_str) {
argv_str          627 sapi/phpdbg/phpdbg_prompt.c 				argv[++argc] = argv_str;
argv_str          628 sapi/phpdbg/phpdbg_prompt.c 				argv_str = strtok(0, " ");