bad_alloc.cc
changeset 154 142730cfecee
parent 77 49e0babccb23