/check_allocate_max_size.cc/1.2/Thu Apr 21 04:21:51 2005//
/check_deallocate_null.cc/1.2/Thu Apr 21 04:21:51 2005//
/check_delete.cc/1.1/Sat Oct 30 21:44:04 2004//
/check_new.cc/1.1/Sat Oct 30 21:44:04 2004//
D
