michael@0: /* -*- Mode: C++; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */ michael@0: /* This Source Code Form is subject to the terms of the Mozilla Public michael@0: * License, v. 2.0. If a copy of the MPL was not distributed with this michael@0: * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ michael@0: michael@0: //----------------------------------------------------------------------------- michael@0: var BUGNUMBER = 398085; michael@0: var summary = 'Do not crash with large switch statement'; michael@0: var actual = 'PASSED'; michael@0: var expect = 'PASSED'; michael@0: michael@0: michael@0: //----------------------------------------------------------------------------- michael@0: test(); michael@0: //----------------------------------------------------------------------------- michael@0: michael@0: function test() michael@0: { michael@0: enterFunc ('test'); michael@0: printBugNumber(BUGNUMBER); michael@0: printStatus (summary); michael@0: michael@0: ls(false); michael@0: michael@0: reportCompare(expect, actual, summary); michael@0: michael@0: exitFunc ('test'); michael@0: } michael@0: michael@0: function ls(a) { michael@0: if (a) { michael@0: return (actual = "FAIL"); michael@0: return (actual = "FAIL"); michael@0: return (actual = "FAIL"); michael@0: // Next line requires 48 bytes: 8 * getargprop (5 bytes) + 7 add (1 byte) + 1 pop (1 byte) michael@0: // Repeated 683 times: 683 * 48 bytes = 32784 bytes michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: a.x + a.x + a.x + a.x + a.x + a.x + a.x + a.x michael@0: } michael@0: return "Everything's fine." michael@0: // Comment out the switch statement and the bug disappears. michael@0: switch (a) { michael@0: case 1: ; michael@0: case 2: return; michael@0: } michael@0: } michael@0: