/check_allocate_max_size.cc/1.1/Thu Oct 21 00:06:01 2004//
/check_deallocate_null.cc/1.1/Thu Oct 14 23:03:25 2004//
/check_delete.cc/1.1/Fri Oct 29 21:03:06 2004//
/check_new.cc/1.2/Fri Oct 29 21:03:06 2004//
/deallocate_global.cc/1.1/Wed Oct  6 04:22:41 2004//
/deallocate_local.cc/1.1/Wed Oct  6 04:22:41 2004//
/instantiate.cc/1.1/Wed Sep  1 22:17:00 2004//
D
