bad_alloc.cc
changeset 172 43ae72f88d06
parent 77 49e0babccb23