bad_alloc.cc
changeset 145 63a5269fb113
parent 77 49e0babccb23