Re: Symbol vs identifiers Shiro Kawai 12 Aug 2026 19:04 UTC