/dg-options.exp/1.3/Thu Aug 18 23:13:48 2005//
/libstdc++.exp/1.43/Thu Aug 18 23:13:48 2005//
/prune.exp/1.5/Thu Aug 18 23:13:48 2005//
D
