bad_alloc.cc
changeset 94 c100ba6939e3
parent 77 49e0babccb23