/1.cc/1.3/Thu Mar  4 18:11:05 2004//
/2.cc/1.3/Thu Mar  4 18:11:05 2004//
/swap.cc/1.2/Wed Mar 10 06:31:50 2004//
D/insert////
