Arguments:
pp points a pointer to the initiating "\" in the string;
the pointer gets updated to point to the final character
Arguments:
pp points a pointer to the initiating "\" in the string;
the pointer gets updated to point to the final character
if (!(flags & SVFMT_REBUFFER))
die_tainted(US"string_vformat", func, line);
if (!(flags & SVFMT_REBUFFER))
die_tainted(US"string_vformat", func, line);