void debug_abort(void);
debug_abort causes the debugger to exit and a failure result is returned to the user.