After some discussion, we have arrived at the conclusion that we should be using a thread's uncaught exception handler when handling an uncaught exception from an upcall, since it is not specified to be used in such situations.