bad_alloc.cc
changeset 125 9c0fdc119939
parent 77 49e0babccb23