pub unsafe extern "C" fn bad_exception_bad_exception_destructor(
    this: *mut bad_exception,
)