a4c13608ef
changed to handle a symbol with a c-style escape sequences enclosed in #""
changed to handle a symbol with a c-style escape sequences enclosed in #""