/checked_delete.hpp/1.1/Fri Oct 15 03:40:05 2004//
/scoped_array.hpp/1.1/Fri Oct 15 03:40:05 2004//
/scoped_ptr.hpp/1.1/Fri Oct 15 03:40:05 2004//
D/detail////
