/reset.cc/1.2/Tue Aug 23 13:35:07 2005//
/reset_neg.cc/1.3/Tue Aug 23 13:35:07 2005//
/swap.cc/1.2/Tue Aug 23 13:35:07 2005//
/swap_neg.cc/1.3/Tue Aug 23 13:35:07 2005//
D
