/undefined.c/1.1.1.1/Mon May  3 07:29:09 1999//
/undefined.exp/1.5/Wed Aug 30 22:01:47 2000//
/weak-undef.exp/1.1/Mon Jan  1 14:54:03 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
