michael@0: // now actually crash
michael@0: CrashTestUtils.crash(crashType);