bad_alloc.cc
changeset 101 176448af80fa
parent 77 49e0babccb23