https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68271
--- Comment #10 from Richard Henderson <rth at gcc dot gnu.org> --- I believe the tokens didn't stay around in C at the time. But I might be wrong... it was 9 years ago... If we can remove it, it does seem like a good idea.