/1.cc/1.2/Wed Aug 17 02:18:51 2005//
/14340.cc/1.3/Wed Aug 17 02:18:51 2005//
/18604.cc/1.2/Wed Aug 17 02:18:51 2005//
/23781.cc/1.1/Sun Sep 11 09:48:41 2005//
/check_construct_destroy.cc/1.2/Wed Aug 17 02:18:51 2005//
D/explicit_instantiation////
D/insert////
D/invalidation////
D/modifiers////
D/operators////
