gcc/libstdc++/config/hpux.ml