get_debug_exception_string
get_debug_exception_string(debug_exception_type exception, char *buffer,
void get_debug_exception_string() {}