I just checked The Source: Stroustrup, "The C++ Programming Language", 3rd edition, 1997, p. 85: "For good and bad, /typedefs/ are synonyms for other types rather than distinct types. Consequently, /typedefs/ mix freely with the types for which they are synonyms." So, it _is_ a bug... Thanks a lot. Best regards, Ulrik Petersen e-mail: ulrikp@daimi.au.dk