bad_alloc.cc
changeset 80 5d7057a1b202
parent 77 49e0babccb23