/typeof-2.c/1.5/Fri Jun  6 21:34:41 2003//
/weak-1.c/1.2/Fri Jun  6 21:34:41 2003//
/weak-2.c/1.2/Fri Jun  6 21:34:41 2003//
/weak-3.c/1.4/Sun Oct 12 22:09:28 2003//
/weak-4.c/1.2/Fri Jun  6 21:34:41 2003//
/weak-5.c/1.2/Fri Jun  6 21:34:41 2003//
/weak-6.c/1.3/Fri Jan  9 20:03:58 2004//
/weak-7.c/1.3/Fri Jan  9 20:03:58 2004//
/weak-8.c/1.2/Fri Jun  6 21:34:41 2003//
/weak-9.c/1.2/Fri Jun  6 21:34:41 2003//
/weak.exp/1.2/Fri Jun  6 21:34:41 2003//
D
