/dejagnu.spec/1.8/Sat Aug 31 05:46:16 2002//
D