bad_alloc.cc
changeset 85 9568a180fc43
parent 77 49e0babccb23