Bug or feature: symbol names of global/extern variables

[Robert Dewar]

Michael Veksler wrote:

>>Why do you think that this would be a mistake?

(you in the above is dewar)

Michael has exactly stated my reasons :-)