R_CURL
} else if (source[0] == R_CURL) {
*target++ = R_CURL;
"%c%cC%d%c", MARKER, L_CURL, source->ext_color, R_CURL);
(void) printf("%s;\n", R_CURL);
(void) printf("%s;\n", R_CURL);
(void) printf("%s;\n", R_CURL);
(void) printf("%s;\n", R_CURL);
(void) printf("\t%s\n", R_CURL);
if (ch == R_CURL[0]) {