gcc/libstdc++/config/dec-osf.ml