bad_alloc.cc
changeset 99 d99503984cd5
parent 77 49e0babccb23