479480481482483484485486487488489
throw new DeathException(); } if (isHalt()) { isExecFinishedAndDisabled = true; if (isWinner) { throw new WinException(); } else { throw new AbortedException(); } }