core_dump.cpp revision d7c7d50e
1