bad_alloc.cc
changeset 121 fef2ccfa7b12
parent 77 49e0babccb23