[patch] 6746458 support for exotic identifiers (identifier superquote)

[John Rose]

The proposed use of # does not affect any other proposal on the  
table.  The # has to be immediately followed by a double-quote  
character (and a valid string literal) in order to constitute a  
quoted identifier.  Given the small number of ASCII characters, it is  
unreasonable to ask that potential language extensions have exclusive  
rights to any of them.

-- John