.. I think the compiler people just use the port as compiled with the compiler that is known to work with it, and move on. :-) I re-read your original post. It's likely some queer corner case C++ or C++ library bug as shipped with the base system. Adrian