bad_alloc.cc
changeset 122 50ba3b0e271a
parent 77 49e0babccb23