michael@0: // |jit-test| exitstatus: 3
michael@0: try {
michael@0:     terminate();
michael@0:     assertEq("execution continued", "execution should not continue");
michael@0: } catch (x) {
michael@0:     assertEq("caught exception", "uncatchable");
michael@0: } finally {
michael@0:     assertEq("'finally' clause ran", "'finally' clause should not run");
michael@0: }
michael@0: assertEq("top-level execution continued", "top-level execution should not continue");