Synopsis
void debug_exit(int result);
Description

debug_exit causes the debugger to exit and result is returned to the user.