/undefined.c/1.1/Fri Sep  9 23:32:53 2005//
/undefined.exp/1.1/Fri Sep  9 23:32:53 2005//
/weak-undef.exp/1.1/Fri Sep  9 23:32:53 2005//
/weak-undef.s/1.1/Fri Sep  9 23:32:53 2005//
/weak-undef.t/1.1/Fri Sep  9 23:32:53 2005//
D
