bad_alloc.cc
changeset 90 d494813f9e5b
parent 77 49e0babccb23