bad_alloc.cc
changeset 83 220d76d0d672
parent 77 49e0babccb23