/undefined.c/1.1.1.1/Wed Nov 26 11:39:09 2003//
/undefined.exp/1.1.1.3/Thu Feb  2 21:21:22 2006//
/weak-undef.exp/1.1.1.2/Thu Feb  2 21:21:22 2006//
/weak-undef.s/1.1.1.2/Thu Feb  2 21:21:22 2006//
/weak-undef.t/1.1.1.1/Wed Nov 26 11:39:10 2003//
D
