bad_alloc.cc
changeset 168 dfb60716880c
parent 77 49e0babccb23