bad_alloc.cc
changeset 118 17dff2c6fc88
parent 77 49e0babccb23