bad_alloc.cc
changeset 127 162c0af185d7
parent 77 49e0babccb23