bad_alloc.cc
changeset 150 75133486ba7e
parent 77 49e0babccb23