interruptible FFI: more robust handling of the exception case in the interpreter