/undefined.c/1.1/Fri Sep  9 03:39:34 2005//
/undefined.exp/1.1/Fri Sep  9 03:39:34 2005//
/weak-undef.exp/1.1/Fri Sep  9 03:39:34 2005//
/weak-undef.s/1.1/Fri Sep  9 03:39:34 2005//
/weak-undef.t/1.1/Fri Sep  9 03:39:34 2005//
D
