bad_alloc.cc
changeset 161 36f763c8ab16
parent 77 49e0babccb23