/14026.cc/1.1/Sun Feb  8 18:01:23 2004//
/new_delete_placement.cc/1.3/Wed Aug 17 05:21:53 2005//
/numeric_limits.cc/1.26/Wed Aug 17 05:21:53 2005//
D
