bad_alloc.cc
changeset 126 52722ac7693f
parent 77 49e0babccb23