bad_alloc.cc
changeset 106 a540a842ddef
parent 77 49e0babccb23