it doesn't say anything about non-alphanumeric characters (except for
the underscore), so i am a bit afraid of that.
Well, a bad example then, what about "x0" instead of "0x", or whatever
doesnt start as a numeric value.
nice idea. (but wouldn't that be even more confusing than having an
probably it would be easiest to just prepend "_" and keep the 0x notation.