gcc/libstdc++/config/irix5.ml