Walter: > Also, the literals 00, 01, ..., 07 will still be accepted without complaint. 08, > 09, etc. will of course be errors. Isn't this a corner case of the general rule? (corner cases are bad). Bye, bearophile