/dg-options.exp/1.3/Tue Aug 23 13:35:05 2005//
/libstdc++.exp/1.43/Tue Aug 23 13:35:05 2005//
/prune.exp/1.5/Tue Aug 23 13:35:05 2005//
D
