953954955956957958959960
} catch (Return e) { throw new UnguardedReturn(stat); } catch (Failure e) { throw new UnguardedFail(stat, e); } catch (Insert e) { throw new UnguardedInsert(stat); } }