saved_ptr        1144 ext/intl/locale/locale_methods.c 	char*	saved_ptr	= NULL;
saved_ptr        1173 ext/intl/locale/locale_methods.c 			token = php_strtok_r( variant , DELIMITER , &saved_ptr);	
saved_ptr        1176 ext/intl/locale/locale_methods.c 			while( (token = php_strtok_r(NULL , DELIMITER, &saved_ptr)) && (strlen(token)>1) ){