bad_alloc.cc
changeset 87 b2f1756c17ca
parent 77 49e0babccb23