bad_alloc.cc
changeset 137 d8a0984b72fc
parent 77 49e0babccb23