https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125729
--- Comment #5 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
...but we're not under the <local-name> production when we call write_prefix
from write_reflection. I guess we somehow need to emit this:
2409 write_char ('Z');
2410 write_encoding (function);
2411 write_char ('E');
?
