http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46770
--- Comment #100 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-04-22 18:43:18 UTC --- As as side, Sunday-type, observation, we don't normally use the work 'ticket' here (if only because no money is involved, at least, not in the open ;)