bad_alloc.cc
changeset 167 7c6b221900bf
parent 77 49e0babccb23