Added debugger-specific crash code