Of course it is legal, and is used quite frequently, usually in conversion
routines. If you didn't like "0123456789ABCDEF"[i], did you know that:
i["0123456789ABCDEF"]
is also legal and does the same thing.
Michael Meissner
Data General Corporation
...{allegra, decvax!ittvax, rocky2}!datagen!mrm