/we32k.c/1.2/Tue Mar  3 21:33:55 1998//
/we32k.h/1.2/Tue Mar  3 21:33:57 1998//
/we32k.md/1.1/Wed Dec 20 01:05:51 1995//
/x-we32k/1.1/Wed Dec 20 01:05:52 1995//
/xm-we32k.h/1.2/Tue Mar  3 21:33:58 1998//
D
