bad_alloc.cc
changeset 147 f9015072361f
parent 77 49e0babccb23