argv_str          711 sapi/phpdbg/phpdbg_prompt.c 			char *argv_str = strtok(param->str, " ");
argv_str          713 sapi/phpdbg/phpdbg_prompt.c 			while (argv_str) {
argv_str          717 sapi/phpdbg/phpdbg_prompt.c 				argv[++argc] = argv_str;
argv_str          718 sapi/phpdbg/phpdbg_prompt.c 				argv_str = strtok(0, " ");