bad_alloc.cc
changeset 98 0e8eddac99cb
parent 77 49e0babccb23