bad_alloc.cc
changeset 103 be3fe4a4f097
parent 77 49e0babccb23