/undefined.c/1.1.1.1/Mon May  3 07:29:09 1999//
/undefined.exp/1.10/Tue Jun 12 16:02:13 2001//
/weak-undef.exp/1.2/Tue Mar 13 06:14:29 2001//
/weak-undef.s/1.1/Mon Jan  1 14:54:03 2001//
/weak-undef.t/1.1/Mon Jan  1 14:54:03 2001//
D
