/undefined.c/1.1.1.1/Mon May  3 07:29:09 1999//
/undefined.exp/1.17/Tue Jun 17 11:01:17 2003//
/weak-undef.exp/1.3/Tue Jul 30 07:41:15 2002//
/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
