/check_allocate_max_size.cc/1.1/Thu Oct 21 00:06:02 2004//
/check_deallocate_null.cc/1.1/Thu Oct 14 23:03:25 2004//
/check_delete.cc/1.1/Fri Oct 29 21:03:07 2004//
/check_new.cc/1.2/Fri Oct 29 21:03:07 2004//
/deallocate_global.cc/1.1/Wed Oct  6 04:22:42 2004//
/deallocate_local.cc/1.1/Wed Oct  6 04:22:42 2004//
/instantiate.cc/1.1/Wed Oct  6 04:22:42 2004//
D
