/14026.cc/1.1/Sun Feb  8 18:01:23 2004//
/new_delete_placement.cc/1.3/Tue Aug 23 13:33:19 2005//
/numeric_limits.cc/1.26/Tue Aug 23 13:33:19 2005//
D
