> I found what I think is a minor bug in g++'s name mangling. Thanks for your bug report. gcc-2.95 19990717 compiles this fine, so it appears that the bug has been fixed. Regards, Martin