https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101739
--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> --- For consistency (and to avoid reports like this one) we might want to uglify them anyway. But it's not a correctness issue, just stylistic.
