DEBUG_PRINT_DOUBLE_STRING 1308 regex.cpp          DEBUG_PRINT_DOUBLE_STRING (string_place, string1, size1, string2,   \
DEBUG_PRINT_DOUBLE_STRING 1383 regex.cpp        DEBUG_PRINT_DOUBLE_STRING (str, string1, size1, string2, size2);	\
DEBUG_PRINT_DOUBLE_STRING 3936 regex.cpp        DEBUG_PRINT_DOUBLE_STRING (d, string1, size1, string2, size2);