bad_alloc.cc
changeset 108 d6a52e0152fb
parent 77 49e0babccb23