DEBUG_PRINT_DOUBLE_STRING 1083 src/regex-emacs.c   DEBUG_PRINT_DOUBLE_STRING (string_place, string1, size1, string2, size2);\
DEBUG_PRINT_DOUBLE_STRING 1137 src/regex-emacs.c   DEBUG_PRINT_DOUBLE_STRING (str, string1, size1, string2, size2);	\
DEBUG_PRINT_DOUBLE_STRING 4077 src/regex-emacs.c   DEBUG_PRINT_DOUBLE_STRING (d, string1, size1, string2, size2);