/undefined.c/1.1/Mon Jan  8 11:10:01 1996//
/undefined.exp/1.4/Mon May 13 17:07:44 2002//
/weak-undef.exp/1.1.1.1/Mon May 13 14:02:29 2002//
/weak-undef.s/1.1.1.1/Mon May 13 14:02:29 2002//
/weak-undef.t/1.1.1.1/Mon May 13 14:02:29 2002//
D
