bad_alloc.cc
changeset 163 780bf4f348f3
parent 77 49e0babccb23