/undefined.c/1.1.1.1/Mon May  3 07:29:09 1999//
/undefined.exp/1.25/Fri May 20 19:09:54 2005//
/weak-undef.exp/1.7/Thu Aug 18 07:51:08 2005//
/weak-undef.s/1.2/Tue Mar 22 14:20:38 2005//
/weak-undef.t/1.1/Mon Jan  1 14:54:03 2001//
D
