new_idx_len       131 main/php_variables.c 			int new_idx_len = 0;
new_idx_len       174 main/php_variables.c 				new_idx_len = strlen(index_s);	
new_idx_len       197 main/php_variables.c 			index_len = new_idx_len;