`Exceptions.propagateIfFatal()`? Or can we catch something other than the generic `Exception`?