bad_alloc.cc
changeset 157 e8fbd0653fda
parent 77 49e0babccb23