Re #9036 Catch unknown exceptions