bad_alloc.cc
changeset 115 47731bdd72c9
parent 77 49e0babccb23