Documented core dump catching