bad_alloc.cc
changeset 149 5acf77b9b7a0
parent 77 49e0babccb23