debug_exception_type
debug_exception_type exception; // the exception
extern void get_debug_exception_string(debug_exception_type exception,
bool user_debug_exception_occurred(debug_exception_type exception, int signal);
debug_exception_type exception)
debug_exception_type exception);
debug_exception_type Exception() const { return fException; }
debug_exception_type fException;
SendSignal(debug_exception_type type, uint32 signalNumber, int32 signalCode,
debug_exception_type type;
user_debug_exception_occurred(debug_exception_type exception, int signal)
get_debug_exception_string(debug_exception_type exception, char *buffer,