I think this may be related to issue #17147 <URL:http://debbugs.gnu.org/cgi/bugreport.cgi?bug=17147> as a problem of scale for syntax-case or similar mechanisms.
-- David Kastrup
- bug#13101: Probably duplicate David Kastrup
- bug#13101: Probably duplicate Mark H Weaver
