bad_alloc.cc
changeset 107 244356bc3a20
parent 77 49e0babccb23