The Tor Browser: js/src/tests/test262/ch11/11.7/11.7.3/S11.7.3_A4_T2.js@8bccb770b82d (annotated)

js/src/tests/test262/ch11/11.7/11.7.3/S11.7.3_A4_T2.js@8bccb770b82d (annotated)

js/src/tests/test262/ch11/11.7/11.7.3/S11.7.3_A4_T2.js

Wed, 31 Dec 2014 13:27:57 +0100

author: Michael Schloh von Bennewitz <michael@schloh.com>
date: Wed, 31 Dec 2014 13:27:57 +0100
branch: TOR_BUG_3246
changeset 6: 8bccb770b82d
permissions: -rw-r--r--

Ignore runtime configuration files generated during quality assurance.

 // Copyright 2009 the Sputnik authors.  All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 /**
  * Check operator x >>> y in distinct points
  *
  * @path ch11/11.7/11.7.3/S11.7.3_A4_T2.js
  * @description ShiftExpression = 2^n - 1, n = 16...31
  */
 //CHECK
 if (1 >>> 16 !== 0) {
   $ERROR('#513: 1 >>> 16 === 0. Actual: ' + (1 >>> 16));
 }
 if (2 >>> 16 !== 0) {
   $ERROR('#514: 2 >>> 16 === 0. Actual: ' + (2 >>> 16));
 }
 if (4 >>> 16 !== 0) {
   $ERROR('#515: 4 >>> 16 === 0. Actual: ' + (4 >>> 16));
 }
 if (8 >>> 16 !== 0) {
   $ERROR('#516: 8 >>> 16 === 0. Actual: ' + (8 >>> 16));
 }
 if (16 >>> 16 !== 0) {
   $ERROR('#517: 16 >>> 16 === 0. Actual: ' + (16 >>> 16));
 }
 if (32 >>> 16 !== 0) {
   $ERROR('#518: 32 >>> 16 === 0. Actual: ' + (32 >>> 16));
 }
 if (64 >>> 16 !== 0) {
   $ERROR('#519: 64 >>> 16 === 0. Actual: ' + (64 >>> 16));
 }
 if (128 >>> 16 !== 0) {
   $ERROR('#520: 128 >>> 16 === 0. Actual: ' + (128 >>> 16));
 }
 if (256 >>> 16 !== 0) {
   $ERROR('#521: 256 >>> 16 === 0. Actual: ' + (256 >>> 16));
 }
 if (512 >>> 16 !== 0) {
   $ERROR('#522: 512 >>> 16 === 0. Actual: ' + (512 >>> 16));
 }
 if (1024 >>> 16 !== 0) {
   $ERROR('#523: 1024 >>> 16 === 0. Actual: ' + (1024 >>> 16));
 }
 if (2048 >>> 16 !== 0) {
   $ERROR('#524: 2048 >>> 16 === 0. Actual: ' + (2048 >>> 16));
 }
 if (4096 >>> 16 !== 0) {
   $ERROR('#525: 4096 >>> 16 === 0. Actual: ' + (4096 >>> 16));
 }
 if (8192 >>> 16 !== 0) {
   $ERROR('#526: 8192 >>> 16 === 0. Actual: ' + (8192 >>> 16));
 }
 if (16384 >>> 16 !== 0) {
   $ERROR('#527: 16384 >>> 16 === 0. Actual: ' + (16384 >>> 16));
 }
 if (32768 >>> 16 !== 0) {
   $ERROR('#528: 32768 >>> 16 === 0. Actual: ' + (32768 >>> 16));
 }
 if (65536 >>> 16 !== 1) {
   $ERROR('#529: 65536 >>> 16 === 1. Actual: ' + (65536 >>> 16));
 }
 if (131072 >>> 16 !== 2) {
   $ERROR('#530: 131072 >>> 16 === 2. Actual: ' + (131072 >>> 16));
 }
 if (262144 >>> 16 !== 4) {
   $ERROR('#531: 262144 >>> 16 === 4. Actual: ' + (262144 >>> 16));
 }
 if (524288 >>> 16 !== 8) {
   $ERROR('#532: 524288 >>> 16 === 8. Actual: ' + (524288 >>> 16));
 }
 if (1048576 >>> 16 !== 16) {
   $ERROR('#533: 1048576 >>> 16 === 16. Actual: ' + (1048576 >>> 16));
 }
 if (2097152 >>> 16 !== 32) {
   $ERROR('#534: 2097152 >>> 16 === 32. Actual: ' + (2097152 >>> 16));
 }
 if (4194304 >>> 16 !== 64) {
   $ERROR('#535: 4194304 >>> 16 === 64. Actual: ' + (4194304 >>> 16));
 }
 if (8388608 >>> 16 !== 128) {
   $ERROR('#536: 8388608 >>> 16 === 128. Actual: ' + (8388608 >>> 16));
 }
 if (16777216 >>> 16 !== 256) {
   $ERROR('#537: 16777216 >>> 16 === 256. Actual: ' + (16777216 >>> 16));
 }
 if (33554432 >>> 16 !== 512) {
   $ERROR('#538: 33554432 >>> 16 === 512. Actual: ' + (33554432 >>> 16));
 }
 if (67108864 >>> 16 !== 1024) {
   $ERROR('#539: 67108864 >>> 16 === 1024. Actual: ' + (67108864 >>> 16));
 }
 if (134217728 >>> 16 !== 2048) {
   $ERROR('#540: 134217728 >>> 16 === 2048. Actual: ' + (134217728 >>> 16));
 }
 if (268435456 >>> 16 !== 4096) {
   $ERROR('#541: 268435456 >>> 16 === 4096. Actual: ' + (268435456 >>> 16));
 }
 if (536870912 >>> 16 !== 8192) {
   $ERROR('#542: 536870912 >>> 16 === 8192. Actual: ' + (536870912 >>> 16));
 }
 if (1073741824 >>> 16 !== 16384) {
   $ERROR('#543: 1073741824 >>> 16 === 16384. Actual: ' + (1073741824 >>> 16));
 }
 if (2147483648 >>> 16 !== 32768) {
   $ERROR('#544: 2147483648 >>> 16 === 32768. Actual: ' + (2147483648 >>> 16));
 }
 if (1 >>> 17 !== 0) {
   $ERROR('#545: 1 >>> 17 === 0. Actual: ' + (1 >>> 17));
 }
 if (2 >>> 17 !== 0) {
   $ERROR('#546: 2 >>> 17 === 0. Actual: ' + (2 >>> 17));
 }
 if (4 >>> 17 !== 0) {
   $ERROR('#547: 4 >>> 17 === 0. Actual: ' + (4 >>> 17));
 }
 if (8 >>> 17 !== 0) {
   $ERROR('#548: 8 >>> 17 === 0. Actual: ' + (8 >>> 17));
 }
 if (16 >>> 17 !== 0) {
   $ERROR('#549: 16 >>> 17 === 0. Actual: ' + (16 >>> 17));
 }
 if (32 >>> 17 !== 0) {
   $ERROR('#550: 32 >>> 17 === 0. Actual: ' + (32 >>> 17));
 }
 if (64 >>> 17 !== 0) {
   $ERROR('#551: 64 >>> 17 === 0. Actual: ' + (64 >>> 17));
 }
 if (128 >>> 17 !== 0) {
   $ERROR('#552: 128 >>> 17 === 0. Actual: ' + (128 >>> 17));
 }
 if (256 >>> 17 !== 0) {
   $ERROR('#553: 256 >>> 17 === 0. Actual: ' + (256 >>> 17));
 }
 if (512 >>> 17 !== 0) {
   $ERROR('#554: 512 >>> 17 === 0. Actual: ' + (512 >>> 17));
 }
 if (1024 >>> 17 !== 0) {
   $ERROR('#555: 1024 >>> 17 === 0. Actual: ' + (1024 >>> 17));
 }
 if (2048 >>> 17 !== 0) {
   $ERROR('#556: 2048 >>> 17 === 0. Actual: ' + (2048 >>> 17));
 }
 if (4096 >>> 17 !== 0) {
   $ERROR('#557: 4096 >>> 17 === 0. Actual: ' + (4096 >>> 17));
 }
 if (8192 >>> 17 !== 0) {
   $ERROR('#558: 8192 >>> 17 === 0. Actual: ' + (8192 >>> 17));
 }
 if (16384 >>> 17 !== 0) {
   $ERROR('#559: 16384 >>> 17 === 0. Actual: ' + (16384 >>> 17));
 }
 if (32768 >>> 17 !== 0) {
   $ERROR('#560: 32768 >>> 17 === 0. Actual: ' + (32768 >>> 17));
 }
 if (65536 >>> 17 !== 0) {
   $ERROR('#561: 65536 >>> 17 === 0. Actual: ' + (65536 >>> 17));
 }
 if (131072 >>> 17 !== 1) {
   $ERROR('#562: 131072 >>> 17 === 1. Actual: ' + (131072 >>> 17));
 }
 if (262144 >>> 17 !== 2) {
   $ERROR('#563: 262144 >>> 17 === 2. Actual: ' + (262144 >>> 17));
 }
 if (524288 >>> 17 !== 4) {
   $ERROR('#564: 524288 >>> 17 === 4. Actual: ' + (524288 >>> 17));
 }
 if (1048576 >>> 17 !== 8) {
   $ERROR('#565: 1048576 >>> 17 === 8. Actual: ' + (1048576 >>> 17));
 }
 if (2097152 >>> 17 !== 16) {
   $ERROR('#566: 2097152 >>> 17 === 16. Actual: ' + (2097152 >>> 17));
 }
 if (4194304 >>> 17 !== 32) {
   $ERROR('#567: 4194304 >>> 17 === 32. Actual: ' + (4194304 >>> 17));
 }
 if (8388608 >>> 17 !== 64) {
   $ERROR('#568: 8388608 >>> 17 === 64. Actual: ' + (8388608 >>> 17));
 }
 if (16777216 >>> 17 !== 128) {
   $ERROR('#569: 16777216 >>> 17 === 128. Actual: ' + (16777216 >>> 17));
 }
 if (33554432 >>> 17 !== 256) {
   $ERROR('#570: 33554432 >>> 17 === 256. Actual: ' + (33554432 >>> 17));
 }
 if (67108864 >>> 17 !== 512) {
   $ERROR('#571: 67108864 >>> 17 === 512. Actual: ' + (67108864 >>> 17));
 }
 if (134217728 >>> 17 !== 1024) {
   $ERROR('#572: 134217728 >>> 17 === 1024. Actual: ' + (134217728 >>> 17));
 }
 if (268435456 >>> 17 !== 2048) {
   $ERROR('#573: 268435456 >>> 17 === 2048. Actual: ' + (268435456 >>> 17));
 }
 if (536870912 >>> 17 !== 4096) {
   $ERROR('#574: 536870912 >>> 17 === 4096. Actual: ' + (536870912 >>> 17));
 }
 if (1073741824 >>> 17 !== 8192) {
   $ERROR('#575: 1073741824 >>> 17 === 8192. Actual: ' + (1073741824 >>> 17));
 }
 if (2147483648 >>> 17 !== 16384) {
   $ERROR('#576: 2147483648 >>> 17 === 16384. Actual: ' + (2147483648 >>> 17));
 }
 if (1 >>> 18 !== 0) {
   $ERROR('#577: 1 >>> 18 === 0. Actual: ' + (1 >>> 18));
 }
 if (2 >>> 18 !== 0) {
   $ERROR('#578: 2 >>> 18 === 0. Actual: ' + (2 >>> 18));
 }
 if (4 >>> 18 !== 0) {
   $ERROR('#579: 4 >>> 18 === 0. Actual: ' + (4 >>> 18));
 }
 if (8 >>> 18 !== 0) {
   $ERROR('#580: 8 >>> 18 === 0. Actual: ' + (8 >>> 18));
 }
 if (16 >>> 18 !== 0) {
   $ERROR('#581: 16 >>> 18 === 0. Actual: ' + (16 >>> 18));
 }
 if (32 >>> 18 !== 0) {
   $ERROR('#582: 32 >>> 18 === 0. Actual: ' + (32 >>> 18));
 }
 if (64 >>> 18 !== 0) {
   $ERROR('#583: 64 >>> 18 === 0. Actual: ' + (64 >>> 18));
 }
 if (128 >>> 18 !== 0) {
   $ERROR('#584: 128 >>> 18 === 0. Actual: ' + (128 >>> 18));
 }
 if (256 >>> 18 !== 0) {
   $ERROR('#585: 256 >>> 18 === 0. Actual: ' + (256 >>> 18));
 }
 if (512 >>> 18 !== 0) {
   $ERROR('#586: 512 >>> 18 === 0. Actual: ' + (512 >>> 18));
 }
 if (1024 >>> 18 !== 0) {
   $ERROR('#587: 1024 >>> 18 === 0. Actual: ' + (1024 >>> 18));
 }
 if (2048 >>> 18 !== 0) {
   $ERROR('#588: 2048 >>> 18 === 0. Actual: ' + (2048 >>> 18));
 }
 if (4096 >>> 18 !== 0) {
   $ERROR('#589: 4096 >>> 18 === 0. Actual: ' + (4096 >>> 18));
 }
 if (8192 >>> 18 !== 0) {
   $ERROR('#590: 8192 >>> 18 === 0. Actual: ' + (8192 >>> 18));
 }
 if (16384 >>> 18 !== 0) {
   $ERROR('#591: 16384 >>> 18 === 0. Actual: ' + (16384 >>> 18));
 }
 if (32768 >>> 18 !== 0) {
   $ERROR('#592: 32768 >>> 18 === 0. Actual: ' + (32768 >>> 18));
 }
 if (65536 >>> 18 !== 0) {
   $ERROR('#593: 65536 >>> 18 === 0. Actual: ' + (65536 >>> 18));
 }
 if (131072 >>> 18 !== 0) {
   $ERROR('#594: 131072 >>> 18 === 0. Actual: ' + (131072 >>> 18));
 }
 if (262144 >>> 18 !== 1) {
   $ERROR('#595: 262144 >>> 18 === 1. Actual: ' + (262144 >>> 18));
 }
 if (524288 >>> 18 !== 2) {
   $ERROR('#596: 524288 >>> 18 === 2. Actual: ' + (524288 >>> 18));
 }
 if (1048576 >>> 18 !== 4) {
   $ERROR('#597: 1048576 >>> 18 === 4. Actual: ' + (1048576 >>> 18));
 }
 if (2097152 >>> 18 !== 8) {
   $ERROR('#598: 2097152 >>> 18 === 8. Actual: ' + (2097152 >>> 18));
 }
 if (4194304 >>> 18 !== 16) {
   $ERROR('#599: 4194304 >>> 18 === 16. Actual: ' + (4194304 >>> 18));
 }
 if (8388608 >>> 18 !== 32) {
   $ERROR('#600: 8388608 >>> 18 === 32. Actual: ' + (8388608 >>> 18));
 }
 if (16777216 >>> 18 !== 64) {
   $ERROR('#601: 16777216 >>> 18 === 64. Actual: ' + (16777216 >>> 18));
 }
 if (33554432 >>> 18 !== 128) {
   $ERROR('#602: 33554432 >>> 18 === 128. Actual: ' + (33554432 >>> 18));
 }
 if (67108864 >>> 18 !== 256) {
   $ERROR('#603: 67108864 >>> 18 === 256. Actual: ' + (67108864 >>> 18));
 }
 if (134217728 >>> 18 !== 512) {
   $ERROR('#604: 134217728 >>> 18 === 512. Actual: ' + (134217728 >>> 18));
 }
 if (268435456 >>> 18 !== 1024) {
   $ERROR('#605: 268435456 >>> 18 === 1024. Actual: ' + (268435456 >>> 18));
 }
 if (536870912 >>> 18 !== 2048) {
   $ERROR('#606: 536870912 >>> 18 === 2048. Actual: ' + (536870912 >>> 18));
 }
 if (1073741824 >>> 18 !== 4096) {
   $ERROR('#607: 1073741824 >>> 18 === 4096. Actual: ' + (1073741824 >>> 18));
 }
 if (2147483648 >>> 18 !== 8192) {
   $ERROR('#608: 2147483648 >>> 18 === 8192. Actual: ' + (2147483648 >>> 18));
 }
 if (1 >>> 19 !== 0) {
   $ERROR('#609: 1 >>> 19 === 0. Actual: ' + (1 >>> 19));
 }
 if (2 >>> 19 !== 0) {
   $ERROR('#610: 2 >>> 19 === 0. Actual: ' + (2 >>> 19));
 }
 if (4 >>> 19 !== 0) {
   $ERROR('#611: 4 >>> 19 === 0. Actual: ' + (4 >>> 19));
 }
 if (8 >>> 19 !== 0) {
   $ERROR('#612: 8 >>> 19 === 0. Actual: ' + (8 >>> 19));
 }
 if (16 >>> 19 !== 0) {
   $ERROR('#613: 16 >>> 19 === 0. Actual: ' + (16 >>> 19));
 }
 if (32 >>> 19 !== 0) {
   $ERROR('#614: 32 >>> 19 === 0. Actual: ' + (32 >>> 19));
 }
 if (64 >>> 19 !== 0) {
   $ERROR('#615: 64 >>> 19 === 0. Actual: ' + (64 >>> 19));
 }
 if (128 >>> 19 !== 0) {
   $ERROR('#616: 128 >>> 19 === 0. Actual: ' + (128 >>> 19));
 }
 if (256 >>> 19 !== 0) {
   $ERROR('#617: 256 >>> 19 === 0. Actual: ' + (256 >>> 19));
 }
 if (512 >>> 19 !== 0) {
   $ERROR('#618: 512 >>> 19 === 0. Actual: ' + (512 >>> 19));
 }
 if (1024 >>> 19 !== 0) {
   $ERROR('#619: 1024 >>> 19 === 0. Actual: ' + (1024 >>> 19));
 }
 if (2048 >>> 19 !== 0) {
   $ERROR('#620: 2048 >>> 19 === 0. Actual: ' + (2048 >>> 19));
 }
 if (4096 >>> 19 !== 0) {
   $ERROR('#621: 4096 >>> 19 === 0. Actual: ' + (4096 >>> 19));
 }
 if (8192 >>> 19 !== 0) {
   $ERROR('#622: 8192 >>> 19 === 0. Actual: ' + (8192 >>> 19));
 }
 if (16384 >>> 19 !== 0) {
   $ERROR('#623: 16384 >>> 19 === 0. Actual: ' + (16384 >>> 19));
 }
 if (32768 >>> 19 !== 0) {
   $ERROR('#624: 32768 >>> 19 === 0. Actual: ' + (32768 >>> 19));
 }
 if (65536 >>> 19 !== 0) {
   $ERROR('#625: 65536 >>> 19 === 0. Actual: ' + (65536 >>> 19));
 }
 if (131072 >>> 19 !== 0) {
   $ERROR('#626: 131072 >>> 19 === 0. Actual: ' + (131072 >>> 19));
 }
 if (262144 >>> 19 !== 0) {
   $ERROR('#627: 262144 >>> 19 === 0. Actual: ' + (262144 >>> 19));
 }
 if (524288 >>> 19 !== 1) {
   $ERROR('#628: 524288 >>> 19 === 1. Actual: ' + (524288 >>> 19));
 }
 if (1048576 >>> 19 !== 2) {
   $ERROR('#629: 1048576 >>> 19 === 2. Actual: ' + (1048576 >>> 19));
 }
 if (2097152 >>> 19 !== 4) {
   $ERROR('#630: 2097152 >>> 19 === 4. Actual: ' + (2097152 >>> 19));
 }
 if (4194304 >>> 19 !== 8) {
   $ERROR('#631: 4194304 >>> 19 === 8. Actual: ' + (4194304 >>> 19));
 }
 if (8388608 >>> 19 !== 16) {
   $ERROR('#632: 8388608 >>> 19 === 16. Actual: ' + (8388608 >>> 19));
 }
 if (16777216 >>> 19 !== 32) {
   $ERROR('#633: 16777216 >>> 19 === 32. Actual: ' + (16777216 >>> 19));
 }
 if (33554432 >>> 19 !== 64) {
   $ERROR('#634: 33554432 >>> 19 === 64. Actual: ' + (33554432 >>> 19));
 }
 if (67108864 >>> 19 !== 128) {
   $ERROR('#635: 67108864 >>> 19 === 128. Actual: ' + (67108864 >>> 19));
 }
 if (134217728 >>> 19 !== 256) {
   $ERROR('#636: 134217728 >>> 19 === 256. Actual: ' + (134217728 >>> 19));
 }
 if (268435456 >>> 19 !== 512) {
   $ERROR('#637: 268435456 >>> 19 === 512. Actual: ' + (268435456 >>> 19));
 }
 if (536870912 >>> 19 !== 1024) {
   $ERROR('#638: 536870912 >>> 19 === 1024. Actual: ' + (536870912 >>> 19));
 }
 if (1073741824 >>> 19 !== 2048) {
   $ERROR('#639: 1073741824 >>> 19 === 2048. Actual: ' + (1073741824 >>> 19));
 }
 if (2147483648 >>> 19 !== 4096) {
   $ERROR('#640: 2147483648 >>> 19 === 4096. Actual: ' + (2147483648 >>> 19));
 }
 if (1 >>> 20 !== 0) {
   $ERROR('#641: 1 >>> 20 === 0. Actual: ' + (1 >>> 20));
 }
 if (2 >>> 20 !== 0) {
   $ERROR('#642: 2 >>> 20 === 0. Actual: ' + (2 >>> 20));
 }
 if (4 >>> 20 !== 0) {
   $ERROR('#643: 4 >>> 20 === 0. Actual: ' + (4 >>> 20));
 }
 if (8 >>> 20 !== 0) {
   $ERROR('#644: 8 >>> 20 === 0. Actual: ' + (8 >>> 20));
 }
 if (16 >>> 20 !== 0) {
   $ERROR('#645: 16 >>> 20 === 0. Actual: ' + (16 >>> 20));
 }
 if (32 >>> 20 !== 0) {
   $ERROR('#646: 32 >>> 20 === 0. Actual: ' + (32 >>> 20));
 }
 if (64 >>> 20 !== 0) {
   $ERROR('#647: 64 >>> 20 === 0. Actual: ' + (64 >>> 20));
 }
 if (128 >>> 20 !== 0) {
   $ERROR('#648: 128 >>> 20 === 0. Actual: ' + (128 >>> 20));
 }
 if (256 >>> 20 !== 0) {
   $ERROR('#649: 256 >>> 20 === 0. Actual: ' + (256 >>> 20));
 }
 if (512 >>> 20 !== 0) {
   $ERROR('#650: 512 >>> 20 === 0. Actual: ' + (512 >>> 20));
 }
 if (1024 >>> 20 !== 0) {
   $ERROR('#651: 1024 >>> 20 === 0. Actual: ' + (1024 >>> 20));
 }
 if (2048 >>> 20 !== 0) {
   $ERROR('#652: 2048 >>> 20 === 0. Actual: ' + (2048 >>> 20));
 }
 if (4096 >>> 20 !== 0) {
   $ERROR('#653: 4096 >>> 20 === 0. Actual: ' + (4096 >>> 20));
 }
 if (8192 >>> 20 !== 0) {
   $ERROR('#654: 8192 >>> 20 === 0. Actual: ' + (8192 >>> 20));
 }
 if (16384 >>> 20 !== 0) {
   $ERROR('#655: 16384 >>> 20 === 0. Actual: ' + (16384 >>> 20));
 }
 if (32768 >>> 20 !== 0) {
   $ERROR('#656: 32768 >>> 20 === 0. Actual: ' + (32768 >>> 20));
 }
 if (65536 >>> 20 !== 0) {
   $ERROR('#657: 65536 >>> 20 === 0. Actual: ' + (65536 >>> 20));
 }
 if (131072 >>> 20 !== 0) {
   $ERROR('#658: 131072 >>> 20 === 0. Actual: ' + (131072 >>> 20));
 }
 if (262144 >>> 20 !== 0) {
   $ERROR('#659: 262144 >>> 20 === 0. Actual: ' + (262144 >>> 20));
 }
 if (524288 >>> 20 !== 0) {
   $ERROR('#660: 524288 >>> 20 === 0. Actual: ' + (524288 >>> 20));
 }
 if (1048576 >>> 20 !== 1) {
   $ERROR('#661: 1048576 >>> 20 === 1. Actual: ' + (1048576 >>> 20));
 }
 if (2097152 >>> 20 !== 2) {
   $ERROR('#662: 2097152 >>> 20 === 2. Actual: ' + (2097152 >>> 20));
 }
 if (4194304 >>> 20 !== 4) {
   $ERROR('#663: 4194304 >>> 20 === 4. Actual: ' + (4194304 >>> 20));
 }
 if (8388608 >>> 20 !== 8) {
   $ERROR('#664: 8388608 >>> 20 === 8. Actual: ' + (8388608 >>> 20));
 }
 if (16777216 >>> 20 !== 16) {
   $ERROR('#665: 16777216 >>> 20 === 16. Actual: ' + (16777216 >>> 20));
 }
 if (33554432 >>> 20 !== 32) {
   $ERROR('#666: 33554432 >>> 20 === 32. Actual: ' + (33554432 >>> 20));
 }
 if (67108864 >>> 20 !== 64) {
   $ERROR('#667: 67108864 >>> 20 === 64. Actual: ' + (67108864 >>> 20));
 }
 if (134217728 >>> 20 !== 128) {
   $ERROR('#668: 134217728 >>> 20 === 128. Actual: ' + (134217728 >>> 20));
 }
 if (268435456 >>> 20 !== 256) {
   $ERROR('#669: 268435456 >>> 20 === 256. Actual: ' + (268435456 >>> 20));
 }
 if (536870912 >>> 20 !== 512) {
   $ERROR('#670: 536870912 >>> 20 === 512. Actual: ' + (536870912 >>> 20));
 }
 if (1073741824 >>> 20 !== 1024) {
   $ERROR('#671: 1073741824 >>> 20 === 1024. Actual: ' + (1073741824 >>> 20));
 }
 if (2147483648 >>> 20 !== 2048) {
   $ERROR('#672: 2147483648 >>> 20 === 2048. Actual: ' + (2147483648 >>> 20));
 }
 if (1 >>> 21 !== 0) {
   $ERROR('#673: 1 >>> 21 === 0. Actual: ' + (1 >>> 21));
 }
 if (2 >>> 21 !== 0) {
   $ERROR('#674: 2 >>> 21 === 0. Actual: ' + (2 >>> 21));
 }
 if (4 >>> 21 !== 0) {
   $ERROR('#675: 4 >>> 21 === 0. Actual: ' + (4 >>> 21));
 }
 if (8 >>> 21 !== 0) {
   $ERROR('#676: 8 >>> 21 === 0. Actual: ' + (8 >>> 21));
 }
 if (16 >>> 21 !== 0) {
   $ERROR('#677: 16 >>> 21 === 0. Actual: ' + (16 >>> 21));
 }
 if (32 >>> 21 !== 0) {
   $ERROR('#678: 32 >>> 21 === 0. Actual: ' + (32 >>> 21));
 }
 if (64 >>> 21 !== 0) {
   $ERROR('#679: 64 >>> 21 === 0. Actual: ' + (64 >>> 21));
 }
 if (128 >>> 21 !== 0) {
   $ERROR('#680: 128 >>> 21 === 0. Actual: ' + (128 >>> 21));
 }
 if (256 >>> 21 !== 0) {
   $ERROR('#681: 256 >>> 21 === 0. Actual: ' + (256 >>> 21));
 }
 if (512 >>> 21 !== 0) {
   $ERROR('#682: 512 >>> 21 === 0. Actual: ' + (512 >>> 21));
 }
 if (1024 >>> 21 !== 0) {
   $ERROR('#683: 1024 >>> 21 === 0. Actual: ' + (1024 >>> 21));
 }
 if (2048 >>> 21 !== 0) {
   $ERROR('#684: 2048 >>> 21 === 0. Actual: ' + (2048 >>> 21));
 }
 if (4096 >>> 21 !== 0) {
   $ERROR('#685: 4096 >>> 21 === 0. Actual: ' + (4096 >>> 21));
 }
 if (8192 >>> 21 !== 0) {
   $ERROR('#686: 8192 >>> 21 === 0. Actual: ' + (8192 >>> 21));
 }
 if (16384 >>> 21 !== 0) {
   $ERROR('#687: 16384 >>> 21 === 0. Actual: ' + (16384 >>> 21));
 }
 if (32768 >>> 21 !== 0) {
   $ERROR('#688: 32768 >>> 21 === 0. Actual: ' + (32768 >>> 21));
 }
 if (65536 >>> 21 !== 0) {
   $ERROR('#689: 65536 >>> 21 === 0. Actual: ' + (65536 >>> 21));
 }
 if (131072 >>> 21 !== 0) {
   $ERROR('#690: 131072 >>> 21 === 0. Actual: ' + (131072 >>> 21));
 }
 if (262144 >>> 21 !== 0) {
   $ERROR('#691: 262144 >>> 21 === 0. Actual: ' + (262144 >>> 21));
 }
 if (524288 >>> 21 !== 0) {
   $ERROR('#692: 524288 >>> 21 === 0. Actual: ' + (524288 >>> 21));
 }
 if (1048576 >>> 21 !== 0) {
   $ERROR('#693: 1048576 >>> 21 === 0. Actual: ' + (1048576 >>> 21));
 }
 if (2097152 >>> 21 !== 1) {
   $ERROR('#694: 2097152 >>> 21 === 1. Actual: ' + (2097152 >>> 21));
 }
 if (4194304 >>> 21 !== 2) {
   $ERROR('#695: 4194304 >>> 21 === 2. Actual: ' + (4194304 >>> 21));
 }
 if (8388608 >>> 21 !== 4) {
   $ERROR('#696: 8388608 >>> 21 === 4. Actual: ' + (8388608 >>> 21));
 }
 if (16777216 >>> 21 !== 8) {
   $ERROR('#697: 16777216 >>> 21 === 8. Actual: ' + (16777216 >>> 21));
 }
 if (33554432 >>> 21 !== 16) {
   $ERROR('#698: 33554432 >>> 21 === 16. Actual: ' + (33554432 >>> 21));
 }
 if (67108864 >>> 21 !== 32) {
   $ERROR('#699: 67108864 >>> 21 === 32. Actual: ' + (67108864 >>> 21));
 }
 if (134217728 >>> 21 !== 64) {
   $ERROR('#700: 134217728 >>> 21 === 64. Actual: ' + (134217728 >>> 21));
 }
 if (268435456 >>> 21 !== 128) {
   $ERROR('#701: 268435456 >>> 21 === 128. Actual: ' + (268435456 >>> 21));
 }
 if (536870912 >>> 21 !== 256) {
   $ERROR('#702: 536870912 >>> 21 === 256. Actual: ' + (536870912 >>> 21));
 }
 if (1073741824 >>> 21 !== 512) {
   $ERROR('#703: 1073741824 >>> 21 === 512. Actual: ' + (1073741824 >>> 21));
 }
 if (2147483648 >>> 21 !== 1024) {
   $ERROR('#704: 2147483648 >>> 21 === 1024. Actual: ' + (2147483648 >>> 21));
 }
 if (1 >>> 22 !== 0) {
   $ERROR('#705: 1 >>> 22 === 0. Actual: ' + (1 >>> 22));
 }
 if (2 >>> 22 !== 0) {
   $ERROR('#706: 2 >>> 22 === 0. Actual: ' + (2 >>> 22));
 }
 if (4 >>> 22 !== 0) {
   $ERROR('#707: 4 >>> 22 === 0. Actual: ' + (4 >>> 22));
 }
 if (8 >>> 22 !== 0) {
   $ERROR('#708: 8 >>> 22 === 0. Actual: ' + (8 >>> 22));
 }
 if (16 >>> 22 !== 0) {
   $ERROR('#709: 16 >>> 22 === 0. Actual: ' + (16 >>> 22));
 }
 if (32 >>> 22 !== 0) {
   $ERROR('#710: 32 >>> 22 === 0. Actual: ' + (32 >>> 22));
 }
 if (64 >>> 22 !== 0) {
   $ERROR('#711: 64 >>> 22 === 0. Actual: ' + (64 >>> 22));
 }
 if (128 >>> 22 !== 0) {
   $ERROR('#712: 128 >>> 22 === 0. Actual: ' + (128 >>> 22));
 }
 if (256 >>> 22 !== 0) {
   $ERROR('#713: 256 >>> 22 === 0. Actual: ' + (256 >>> 22));
 }
 if (512 >>> 22 !== 0) {
   $ERROR('#714: 512 >>> 22 === 0. Actual: ' + (512 >>> 22));
 }
 if (1024 >>> 22 !== 0) {
   $ERROR('#715: 1024 >>> 22 === 0. Actual: ' + (1024 >>> 22));
 }
 if (2048 >>> 22 !== 0) {
   $ERROR('#716: 2048 >>> 22 === 0. Actual: ' + (2048 >>> 22));
 }
 if (4096 >>> 22 !== 0) {
   $ERROR('#717: 4096 >>> 22 === 0. Actual: ' + (4096 >>> 22));
 }
 if (8192 >>> 22 !== 0) {
   $ERROR('#718: 8192 >>> 22 === 0. Actual: ' + (8192 >>> 22));
 }
 if (16384 >>> 22 !== 0) {
   $ERROR('#719: 16384 >>> 22 === 0. Actual: ' + (16384 >>> 22));
 }
 if (32768 >>> 22 !== 0) {
   $ERROR('#720: 32768 >>> 22 === 0. Actual: ' + (32768 >>> 22));
 }
 if (65536 >>> 22 !== 0) {
   $ERROR('#721: 65536 >>> 22 === 0. Actual: ' + (65536 >>> 22));
 }
 if (131072 >>> 22 !== 0) {
   $ERROR('#722: 131072 >>> 22 === 0. Actual: ' + (131072 >>> 22));
 }
 if (262144 >>> 22 !== 0) {
   $ERROR('#723: 262144 >>> 22 === 0. Actual: ' + (262144 >>> 22));
 }
 if (524288 >>> 22 !== 0) {
   $ERROR('#724: 524288 >>> 22 === 0. Actual: ' + (524288 >>> 22));
 }
 if (1048576 >>> 22 !== 0) {
   $ERROR('#725: 1048576 >>> 22 === 0. Actual: ' + (1048576 >>> 22));
 }
 if (2097152 >>> 22 !== 0) {
   $ERROR('#726: 2097152 >>> 22 === 0. Actual: ' + (2097152 >>> 22));
 }
 if (4194304 >>> 22 !== 1) {
   $ERROR('#727: 4194304 >>> 22 === 1. Actual: ' + (4194304 >>> 22));
 }
 if (8388608 >>> 22 !== 2) {
   $ERROR('#728: 8388608 >>> 22 === 2. Actual: ' + (8388608 >>> 22));
 }
 if (16777216 >>> 22 !== 4) {
   $ERROR('#729: 16777216 >>> 22 === 4. Actual: ' + (16777216 >>> 22));
 }
 if (33554432 >>> 22 !== 8) {
   $ERROR('#730: 33554432 >>> 22 === 8. Actual: ' + (33554432 >>> 22));
 }
 if (67108864 >>> 22 !== 16) {
   $ERROR('#731: 67108864 >>> 22 === 16. Actual: ' + (67108864 >>> 22));
 }
 if (134217728 >>> 22 !== 32) {
   $ERROR('#732: 134217728 >>> 22 === 32. Actual: ' + (134217728 >>> 22));
 }
 if (268435456 >>> 22 !== 64) {
   $ERROR('#733: 268435456 >>> 22 === 64. Actual: ' + (268435456 >>> 22));
 }
 if (536870912 >>> 22 !== 128) {
   $ERROR('#734: 536870912 >>> 22 === 128. Actual: ' + (536870912 >>> 22));
 }
 if (1073741824 >>> 22 !== 256) {
   $ERROR('#735: 1073741824 >>> 22 === 256. Actual: ' + (1073741824 >>> 22));
 }
 if (2147483648 >>> 22 !== 512) {
   $ERROR('#736: 2147483648 >>> 22 === 512. Actual: ' + (2147483648 >>> 22));
 }
 if (1 >>> 23 !== 0) {
   $ERROR('#737: 1 >>> 23 === 0. Actual: ' + (1 >>> 23));
 }
 if (2 >>> 23 !== 0) {
   $ERROR('#738: 2 >>> 23 === 0. Actual: ' + (2 >>> 23));
 }
 if (4 >>> 23 !== 0) {
   $ERROR('#739: 4 >>> 23 === 0. Actual: ' + (4 >>> 23));
 }
 if (8 >>> 23 !== 0) {
   $ERROR('#740: 8 >>> 23 === 0. Actual: ' + (8 >>> 23));
 }
 if (16 >>> 23 !== 0) {
   $ERROR('#741: 16 >>> 23 === 0. Actual: ' + (16 >>> 23));
 }
 if (32 >>> 23 !== 0) {
   $ERROR('#742: 32 >>> 23 === 0. Actual: ' + (32 >>> 23));
 }
 if (64 >>> 23 !== 0) {
   $ERROR('#743: 64 >>> 23 === 0. Actual: ' + (64 >>> 23));
 }
 if (128 >>> 23 !== 0) {
   $ERROR('#744: 128 >>> 23 === 0. Actual: ' + (128 >>> 23));
 }
 if (256 >>> 23 !== 0) {
   $ERROR('#745: 256 >>> 23 === 0. Actual: ' + (256 >>> 23));
 }
 if (512 >>> 23 !== 0) {
   $ERROR('#746: 512 >>> 23 === 0. Actual: ' + (512 >>> 23));
 }
 if (1024 >>> 23 !== 0) {
   $ERROR('#747: 1024 >>> 23 === 0. Actual: ' + (1024 >>> 23));
 }
 if (2048 >>> 23 !== 0) {
   $ERROR('#748: 2048 >>> 23 === 0. Actual: ' + (2048 >>> 23));
 }
 if (4096 >>> 23 !== 0) {
   $ERROR('#749: 4096 >>> 23 === 0. Actual: ' + (4096 >>> 23));
 }
 if (8192 >>> 23 !== 0) {
   $ERROR('#750: 8192 >>> 23 === 0. Actual: ' + (8192 >>> 23));
 }
 if (16384 >>> 23 !== 0) {
   $ERROR('#751: 16384 >>> 23 === 0. Actual: ' + (16384 >>> 23));
 }
 if (32768 >>> 23 !== 0) {
   $ERROR('#752: 32768 >>> 23 === 0. Actual: ' + (32768 >>> 23));
 }
 if (65536 >>> 23 !== 0) {
   $ERROR('#753: 65536 >>> 23 === 0. Actual: ' + (65536 >>> 23));
 }
 if (131072 >>> 23 !== 0) {
   $ERROR('#754: 131072 >>> 23 === 0. Actual: ' + (131072 >>> 23));
 }
 if (262144 >>> 23 !== 0) {
   $ERROR('#755: 262144 >>> 23 === 0. Actual: ' + (262144 >>> 23));
 }
 if (524288 >>> 23 !== 0) {
   $ERROR('#756: 524288 >>> 23 === 0. Actual: ' + (524288 >>> 23));
 }
 if (1048576 >>> 23 !== 0) {
   $ERROR('#757: 1048576 >>> 23 === 0. Actual: ' + (1048576 >>> 23));
 }
 if (2097152 >>> 23 !== 0) {
   $ERROR('#758: 2097152 >>> 23 === 0. Actual: ' + (2097152 >>> 23));
 }
 if (4194304 >>> 23 !== 0) {
   $ERROR('#759: 4194304 >>> 23 === 0. Actual: ' + (4194304 >>> 23));
 }
 if (8388608 >>> 23 !== 1) {
   $ERROR('#760: 8388608 >>> 23 === 1. Actual: ' + (8388608 >>> 23));
 }
 if (16777216 >>> 23 !== 2) {
   $ERROR('#761: 16777216 >>> 23 === 2. Actual: ' + (16777216 >>> 23));
 }
 if (33554432 >>> 23 !== 4) {
   $ERROR('#762: 33554432 >>> 23 === 4. Actual: ' + (33554432 >>> 23));
 }
 if (67108864 >>> 23 !== 8) {
   $ERROR('#763: 67108864 >>> 23 === 8. Actual: ' + (67108864 >>> 23));
 }
 if (134217728 >>> 23 !== 16) {
   $ERROR('#764: 134217728 >>> 23 === 16. Actual: ' + (134217728 >>> 23));
 }
 if (268435456 >>> 23 !== 32) {
   $ERROR('#765: 268435456 >>> 23 === 32. Actual: ' + (268435456 >>> 23));
 }
 if (536870912 >>> 23 !== 64) {
   $ERROR('#766: 536870912 >>> 23 === 64. Actual: ' + (536870912 >>> 23));
 }
 if (1073741824 >>> 23 !== 128) {
   $ERROR('#767: 1073741824 >>> 23 === 128. Actual: ' + (1073741824 >>> 23));
 }
 if (2147483648 >>> 23 !== 256) {
   $ERROR('#768: 2147483648 >>> 23 === 256. Actual: ' + (2147483648 >>> 23));
 }
 if (1 >>> 24 !== 0) {
   $ERROR('#769: 1 >>> 24 === 0. Actual: ' + (1 >>> 24));
 }
 if (2 >>> 24 !== 0) {
   $ERROR('#770: 2 >>> 24 === 0. Actual: ' + (2 >>> 24));
 }
 if (4 >>> 24 !== 0) {
   $ERROR('#771: 4 >>> 24 === 0. Actual: ' + (4 >>> 24));
 }
 if (8 >>> 24 !== 0) {
   $ERROR('#772: 8 >>> 24 === 0. Actual: ' + (8 >>> 24));
 }
 if (16 >>> 24 !== 0) {
   $ERROR('#773: 16 >>> 24 === 0. Actual: ' + (16 >>> 24));
 }
 if (32 >>> 24 !== 0) {
   $ERROR('#774: 32 >>> 24 === 0. Actual: ' + (32 >>> 24));
 }
 if (64 >>> 24 !== 0) {
   $ERROR('#775: 64 >>> 24 === 0. Actual: ' + (64 >>> 24));
 }
 if (128 >>> 24 !== 0) {
   $ERROR('#776: 128 >>> 24 === 0. Actual: ' + (128 >>> 24));
 }
 if (256 >>> 24 !== 0) {
   $ERROR('#777: 256 >>> 24 === 0. Actual: ' + (256 >>> 24));
 }
 if (512 >>> 24 !== 0) {
   $ERROR('#778: 512 >>> 24 === 0. Actual: ' + (512 >>> 24));
 }
 if (1024 >>> 24 !== 0) {
   $ERROR('#779: 1024 >>> 24 === 0. Actual: ' + (1024 >>> 24));
 }
 if (2048 >>> 24 !== 0) {
   $ERROR('#780: 2048 >>> 24 === 0. Actual: ' + (2048 >>> 24));
 }
 if (4096 >>> 24 !== 0) {
   $ERROR('#781: 4096 >>> 24 === 0. Actual: ' + (4096 >>> 24));
 }
 if (8192 >>> 24 !== 0) {
   $ERROR('#782: 8192 >>> 24 === 0. Actual: ' + (8192 >>> 24));
 }
 if (16384 >>> 24 !== 0) {
   $ERROR('#783: 16384 >>> 24 === 0. Actual: ' + (16384 >>> 24));
 }
 if (32768 >>> 24 !== 0) {
   $ERROR('#784: 32768 >>> 24 === 0. Actual: ' + (32768 >>> 24));
 }
 if (65536 >>> 24 !== 0) {
   $ERROR('#785: 65536 >>> 24 === 0. Actual: ' + (65536 >>> 24));
 }
 if (131072 >>> 24 !== 0) {
   $ERROR('#786: 131072 >>> 24 === 0. Actual: ' + (131072 >>> 24));
 }
 if (262144 >>> 24 !== 0) {
   $ERROR('#787: 262144 >>> 24 === 0. Actual: ' + (262144 >>> 24));
 }
 if (524288 >>> 24 !== 0) {
   $ERROR('#788: 524288 >>> 24 === 0. Actual: ' + (524288 >>> 24));
 }
 if (1048576 >>> 24 !== 0) {
   $ERROR('#789: 1048576 >>> 24 === 0. Actual: ' + (1048576 >>> 24));
 }
 if (2097152 >>> 24 !== 0) {
   $ERROR('#790: 2097152 >>> 24 === 0. Actual: ' + (2097152 >>> 24));
 }
 if (4194304 >>> 24 !== 0) {
   $ERROR('#791: 4194304 >>> 24 === 0. Actual: ' + (4194304 >>> 24));
 }
 if (8388608 >>> 24 !== 0) {
   $ERROR('#792: 8388608 >>> 24 === 0. Actual: ' + (8388608 >>> 24));
 }
 if (16777216 >>> 24 !== 1) {
   $ERROR('#793: 16777216 >>> 24 === 1. Actual: ' + (16777216 >>> 24));
 }
 if (33554432 >>> 24 !== 2) {
   $ERROR('#794: 33554432 >>> 24 === 2. Actual: ' + (33554432 >>> 24));
 }
 if (67108864 >>> 24 !== 4) {
   $ERROR('#795: 67108864 >>> 24 === 4. Actual: ' + (67108864 >>> 24));
 }
 if (134217728 >>> 24 !== 8) {
   $ERROR('#796: 134217728 >>> 24 === 8. Actual: ' + (134217728 >>> 24));
 }
 if (268435456 >>> 24 !== 16) {
   $ERROR('#797: 268435456 >>> 24 === 16. Actual: ' + (268435456 >>> 24));
 }
 if (536870912 >>> 24 !== 32) {
   $ERROR('#798: 536870912 >>> 24 === 32. Actual: ' + (536870912 >>> 24));
 }
 if (1073741824 >>> 24 !== 64) {
   $ERROR('#799: 1073741824 >>> 24 === 64. Actual: ' + (1073741824 >>> 24));
 }
 if (2147483648 >>> 24 !== 128) {
   $ERROR('#800: 2147483648 >>> 24 === 128. Actual: ' + (2147483648 >>> 24));
 }
 if (1 >>> 25 !== 0) {
   $ERROR('#801: 1 >>> 25 === 0. Actual: ' + (1 >>> 25));
 }
 if (2 >>> 25 !== 0) {
   $ERROR('#802: 2 >>> 25 === 0. Actual: ' + (2 >>> 25));
 }
 if (4 >>> 25 !== 0) {
   $ERROR('#803: 4 >>> 25 === 0. Actual: ' + (4 >>> 25));
 }
 if (8 >>> 25 !== 0) {
   $ERROR('#804: 8 >>> 25 === 0. Actual: ' + (8 >>> 25));
 }
 if (16 >>> 25 !== 0) {
   $ERROR('#805: 16 >>> 25 === 0. Actual: ' + (16 >>> 25));
 }
 if (32 >>> 25 !== 0) {
   $ERROR('#806: 32 >>> 25 === 0. Actual: ' + (32 >>> 25));
 }
 if (64 >>> 25 !== 0) {
   $ERROR('#807: 64 >>> 25 === 0. Actual: ' + (64 >>> 25));
 }
 if (128 >>> 25 !== 0) {
   $ERROR('#808: 128 >>> 25 === 0. Actual: ' + (128 >>> 25));
 }
 if (256 >>> 25 !== 0) {
   $ERROR('#809: 256 >>> 25 === 0. Actual: ' + (256 >>> 25));
 }
 if (512 >>> 25 !== 0) {
   $ERROR('#810: 512 >>> 25 === 0. Actual: ' + (512 >>> 25));
 }
 if (1024 >>> 25 !== 0) {
   $ERROR('#811: 1024 >>> 25 === 0. Actual: ' + (1024 >>> 25));
 }
 if (2048 >>> 25 !== 0) {
   $ERROR('#812: 2048 >>> 25 === 0. Actual: ' + (2048 >>> 25));
 }
 if (4096 >>> 25 !== 0) {
   $ERROR('#813: 4096 >>> 25 === 0. Actual: ' + (4096 >>> 25));
 }
 if (8192 >>> 25 !== 0) {
   $ERROR('#814: 8192 >>> 25 === 0. Actual: ' + (8192 >>> 25));
 }
 if (16384 >>> 25 !== 0) {
   $ERROR('#815: 16384 >>> 25 === 0. Actual: ' + (16384 >>> 25));
 }
 if (32768 >>> 25 !== 0) {
   $ERROR('#816: 32768 >>> 25 === 0. Actual: ' + (32768 >>> 25));
 }
 if (65536 >>> 25 !== 0) {
   $ERROR('#817: 65536 >>> 25 === 0. Actual: ' + (65536 >>> 25));
 }
 if (131072 >>> 25 !== 0) {
   $ERROR('#818: 131072 >>> 25 === 0. Actual: ' + (131072 >>> 25));
 }
 if (262144 >>> 25 !== 0) {
   $ERROR('#819: 262144 >>> 25 === 0. Actual: ' + (262144 >>> 25));
 }
 if (524288 >>> 25 !== 0) {
   $ERROR('#820: 524288 >>> 25 === 0. Actual: ' + (524288 >>> 25));
 }
 if (1048576 >>> 25 !== 0) {
   $ERROR('#821: 1048576 >>> 25 === 0. Actual: ' + (1048576 >>> 25));
 }
 if (2097152 >>> 25 !== 0) {
   $ERROR('#822: 2097152 >>> 25 === 0. Actual: ' + (2097152 >>> 25));
 }
 if (4194304 >>> 25 !== 0) {
   $ERROR('#823: 4194304 >>> 25 === 0. Actual: ' + (4194304 >>> 25));
 }
 if (8388608 >>> 25 !== 0) {
   $ERROR('#824: 8388608 >>> 25 === 0. Actual: ' + (8388608 >>> 25));
 }
 if (16777216 >>> 25 !== 0) {
   $ERROR('#825: 16777216 >>> 25 === 0. Actual: ' + (16777216 >>> 25));
 }
 if (33554432 >>> 25 !== 1) {
   $ERROR('#826: 33554432 >>> 25 === 1. Actual: ' + (33554432 >>> 25));
 }
 if (67108864 >>> 25 !== 2) {
   $ERROR('#827: 67108864 >>> 25 === 2. Actual: ' + (67108864 >>> 25));
 }
 if (134217728 >>> 25 !== 4) {
   $ERROR('#828: 134217728 >>> 25 === 4. Actual: ' + (134217728 >>> 25));
 }
 if (268435456 >>> 25 !== 8) {
   $ERROR('#829: 268435456 >>> 25 === 8. Actual: ' + (268435456 >>> 25));
 }
 if (536870912 >>> 25 !== 16) {
   $ERROR('#830: 536870912 >>> 25 === 16. Actual: ' + (536870912 >>> 25));
 }
 if (1073741824 >>> 25 !== 32) {
   $ERROR('#831: 1073741824 >>> 25 === 32. Actual: ' + (1073741824 >>> 25));
 }
 if (2147483648 >>> 25 !== 64) {
   $ERROR('#832: 2147483648 >>> 25 === 64. Actual: ' + (2147483648 >>> 25));
 }
 if (1 >>> 26 !== 0) {
   $ERROR('#833: 1 >>> 26 === 0. Actual: ' + (1 >>> 26));
 }
 if (2 >>> 26 !== 0) {
   $ERROR('#834: 2 >>> 26 === 0. Actual: ' + (2 >>> 26));
 }
 if (4 >>> 26 !== 0) {
   $ERROR('#835: 4 >>> 26 === 0. Actual: ' + (4 >>> 26));
 }
 if (8 >>> 26 !== 0) {
   $ERROR('#836: 8 >>> 26 === 0. Actual: ' + (8 >>> 26));
 }
 if (16 >>> 26 !== 0) {
   $ERROR('#837: 16 >>> 26 === 0. Actual: ' + (16 >>> 26));
 }
 if (32 >>> 26 !== 0) {
   $ERROR('#838: 32 >>> 26 === 0. Actual: ' + (32 >>> 26));
 }
 if (64 >>> 26 !== 0) {
   $ERROR('#839: 64 >>> 26 === 0. Actual: ' + (64 >>> 26));
 }
 if (128 >>> 26 !== 0) {
   $ERROR('#840: 128 >>> 26 === 0. Actual: ' + (128 >>> 26));
 }
 if (256 >>> 26 !== 0) {
   $ERROR('#841: 256 >>> 26 === 0. Actual: ' + (256 >>> 26));
 }
 if (512 >>> 26 !== 0) {
   $ERROR('#842: 512 >>> 26 === 0. Actual: ' + (512 >>> 26));
 }
 if (1024 >>> 26 !== 0) {
   $ERROR('#843: 1024 >>> 26 === 0. Actual: ' + (1024 >>> 26));
 }
 if (2048 >>> 26 !== 0) {
   $ERROR('#844: 2048 >>> 26 === 0. Actual: ' + (2048 >>> 26));
 }
 if (4096 >>> 26 !== 0) {
   $ERROR('#845: 4096 >>> 26 === 0. Actual: ' + (4096 >>> 26));
 }
 if (8192 >>> 26 !== 0) {
   $ERROR('#846: 8192 >>> 26 === 0. Actual: ' + (8192 >>> 26));
 }
 if (16384 >>> 26 !== 0) {
   $ERROR('#847: 16384 >>> 26 === 0. Actual: ' + (16384 >>> 26));
 }
 if (32768 >>> 26 !== 0) {
   $ERROR('#848: 32768 >>> 26 === 0. Actual: ' + (32768 >>> 26));
 }
 if (65536 >>> 26 !== 0) {
   $ERROR('#849: 65536 >>> 26 === 0. Actual: ' + (65536 >>> 26));
 }
 if (131072 >>> 26 !== 0) {
   $ERROR('#850: 131072 >>> 26 === 0. Actual: ' + (131072 >>> 26));
 }
 if (262144 >>> 26 !== 0) {
   $ERROR('#851: 262144 >>> 26 === 0. Actual: ' + (262144 >>> 26));
 }
 if (524288 >>> 26 !== 0) {
   $ERROR('#852: 524288 >>> 26 === 0. Actual: ' + (524288 >>> 26));
 }
 if (1048576 >>> 26 !== 0) {
   $ERROR('#853: 1048576 >>> 26 === 0. Actual: ' + (1048576 >>> 26));
 }
 if (2097152 >>> 26 !== 0) {
   $ERROR('#854: 2097152 >>> 26 === 0. Actual: ' + (2097152 >>> 26));
 }
 if (4194304 >>> 26 !== 0) {
   $ERROR('#855: 4194304 >>> 26 === 0. Actual: ' + (4194304 >>> 26));
 }
 if (8388608 >>> 26 !== 0) {
   $ERROR('#856: 8388608 >>> 26 === 0. Actual: ' + (8388608 >>> 26));
 }
 if (16777216 >>> 26 !== 0) {
   $ERROR('#857: 16777216 >>> 26 === 0. Actual: ' + (16777216 >>> 26));
 }
 if (33554432 >>> 26 !== 0) {
   $ERROR('#858: 33554432 >>> 26 === 0. Actual: ' + (33554432 >>> 26));
 }
 if (67108864 >>> 26 !== 1) {
   $ERROR('#859: 67108864 >>> 26 === 1. Actual: ' + (67108864 >>> 26));
 }
 if (134217728 >>> 26 !== 2) {
   $ERROR('#860: 134217728 >>> 26 === 2. Actual: ' + (134217728 >>> 26));
 }
 if (268435456 >>> 26 !== 4) {
   $ERROR('#861: 268435456 >>> 26 === 4. Actual: ' + (268435456 >>> 26));
 }
 if (536870912 >>> 26 !== 8) {
   $ERROR('#862: 536870912 >>> 26 === 8. Actual: ' + (536870912 >>> 26));
 }
 if (1073741824 >>> 26 !== 16) {
   $ERROR('#863: 1073741824 >>> 26 === 16. Actual: ' + (1073741824 >>> 26));
 }
 if (2147483648 >>> 26 !== 32) {
   $ERROR('#864: 2147483648 >>> 26 === 32. Actual: ' + (2147483648 >>> 26));
 }
 if (1 >>> 27 !== 0) {
   $ERROR('#865: 1 >>> 27 === 0. Actual: ' + (1 >>> 27));
 }
 if (2 >>> 27 !== 0) {
   $ERROR('#866: 2 >>> 27 === 0. Actual: ' + (2 >>> 27));
 }
 if (4 >>> 27 !== 0) {
   $ERROR('#867: 4 >>> 27 === 0. Actual: ' + (4 >>> 27));
 }
 if (8 >>> 27 !== 0) {
   $ERROR('#868: 8 >>> 27 === 0. Actual: ' + (8 >>> 27));
 }
 if (16 >>> 27 !== 0) {
   $ERROR('#869: 16 >>> 27 === 0. Actual: ' + (16 >>> 27));
 }
 if (32 >>> 27 !== 0) {
   $ERROR('#870: 32 >>> 27 === 0. Actual: ' + (32 >>> 27));
 }
 if (64 >>> 27 !== 0) {
   $ERROR('#871: 64 >>> 27 === 0. Actual: ' + (64 >>> 27));
 }
 if (128 >>> 27 !== 0) {
   $ERROR('#872: 128 >>> 27 === 0. Actual: ' + (128 >>> 27));
 }
 if (256 >>> 27 !== 0) {
   $ERROR('#873: 256 >>> 27 === 0. Actual: ' + (256 >>> 27));
 }
 if (512 >>> 27 !== 0) {
   $ERROR('#874: 512 >>> 27 === 0. Actual: ' + (512 >>> 27));
 }
 if (1024 >>> 27 !== 0) {
   $ERROR('#875: 1024 >>> 27 === 0. Actual: ' + (1024 >>> 27));
 }
 if (2048 >>> 27 !== 0) {
   $ERROR('#876: 2048 >>> 27 === 0. Actual: ' + (2048 >>> 27));
 }
 if (4096 >>> 27 !== 0) {
   $ERROR('#877: 4096 >>> 27 === 0. Actual: ' + (4096 >>> 27));
 }
 if (8192 >>> 27 !== 0) {
   $ERROR('#878: 8192 >>> 27 === 0. Actual: ' + (8192 >>> 27));
 }
 if (16384 >>> 27 !== 0) {
   $ERROR('#879: 16384 >>> 27 === 0. Actual: ' + (16384 >>> 27));
 }
 if (32768 >>> 27 !== 0) {
   $ERROR('#880: 32768 >>> 27 === 0. Actual: ' + (32768 >>> 27));
 }
 if (65536 >>> 27 !== 0) {
   $ERROR('#881: 65536 >>> 27 === 0. Actual: ' + (65536 >>> 27));
 }
 if (131072 >>> 27 !== 0) {
   $ERROR('#882: 131072 >>> 27 === 0. Actual: ' + (131072 >>> 27));
 }
 if (262144 >>> 27 !== 0) {
   $ERROR('#883: 262144 >>> 27 === 0. Actual: ' + (262144 >>> 27));
 }
 if (524288 >>> 27 !== 0) {
   $ERROR('#884: 524288 >>> 27 === 0. Actual: ' + (524288 >>> 27));
 }
 if (1048576 >>> 27 !== 0) {
   $ERROR('#885: 1048576 >>> 27 === 0. Actual: ' + (1048576 >>> 27));
 }
 if (2097152 >>> 27 !== 0) {
   $ERROR('#886: 2097152 >>> 27 === 0. Actual: ' + (2097152 >>> 27));
 }
 if (4194304 >>> 27 !== 0) {
   $ERROR('#887: 4194304 >>> 27 === 0. Actual: ' + (4194304 >>> 27));
 }
 if (8388608 >>> 27 !== 0) {
   $ERROR('#888: 8388608 >>> 27 === 0. Actual: ' + (8388608 >>> 27));
 }
 if (16777216 >>> 27 !== 0) {
   $ERROR('#889: 16777216 >>> 27 === 0. Actual: ' + (16777216 >>> 27));
 }
 if (33554432 >>> 27 !== 0) {
   $ERROR('#890: 33554432 >>> 27 === 0. Actual: ' + (33554432 >>> 27));
 }
 if (67108864 >>> 27 !== 0) {
   $ERROR('#891: 67108864 >>> 27 === 0. Actual: ' + (67108864 >>> 27));
 }
 if (134217728 >>> 27 !== 1) {
   $ERROR('#892: 134217728 >>> 27 === 1. Actual: ' + (134217728 >>> 27));
 }
 if (268435456 >>> 27 !== 2) {
   $ERROR('#893: 268435456 >>> 27 === 2. Actual: ' + (268435456 >>> 27));
 }
 if (536870912 >>> 27 !== 4) {
   $ERROR('#894: 536870912 >>> 27 === 4. Actual: ' + (536870912 >>> 27));
 }
 if (1073741824 >>> 27 !== 8) {
   $ERROR('#895: 1073741824 >>> 27 === 8. Actual: ' + (1073741824 >>> 27));
 }
 if (2147483648 >>> 27 !== 16) {
   $ERROR('#896: 2147483648 >>> 27 === 16. Actual: ' + (2147483648 >>> 27));
 }
 if (1 >>> 28 !== 0) {
   $ERROR('#897: 1 >>> 28 === 0. Actual: ' + (1 >>> 28));
 }
 if (2 >>> 28 !== 0) {
   $ERROR('#898: 2 >>> 28 === 0. Actual: ' + (2 >>> 28));
 }
 if (4 >>> 28 !== 0) {
   $ERROR('#899: 4 >>> 28 === 0. Actual: ' + (4 >>> 28));
 }
 if (8 >>> 28 !== 0) {
   $ERROR('#900: 8 >>> 28 === 0. Actual: ' + (8 >>> 28));
 }
 if (16 >>> 28 !== 0) {
   $ERROR('#901: 16 >>> 28 === 0. Actual: ' + (16 >>> 28));
 }
 if (32 >>> 28 !== 0) {
   $ERROR('#902: 32 >>> 28 === 0. Actual: ' + (32 >>> 28));
 }
 if (64 >>> 28 !== 0) {
   $ERROR('#903: 64 >>> 28 === 0. Actual: ' + (64 >>> 28));
 }
 if (128 >>> 28 !== 0) {
   $ERROR('#904: 128 >>> 28 === 0. Actual: ' + (128 >>> 28));
 }
 if (256 >>> 28 !== 0) {
   $ERROR('#905: 256 >>> 28 === 0. Actual: ' + (256 >>> 28));
 }
 if (512 >>> 28 !== 0) {
   $ERROR('#906: 512 >>> 28 === 0. Actual: ' + (512 >>> 28));
 }
 if (1024 >>> 28 !== 0) {
   $ERROR('#907: 1024 >>> 28 === 0. Actual: ' + (1024 >>> 28));
 }
 if (2048 >>> 28 !== 0) {
   $ERROR('#908: 2048 >>> 28 === 0. Actual: ' + (2048 >>> 28));
 }
 if (4096 >>> 28 !== 0) {
   $ERROR('#909: 4096 >>> 28 === 0. Actual: ' + (4096 >>> 28));
 }
 if (8192 >>> 28 !== 0) {
   $ERROR('#910: 8192 >>> 28 === 0. Actual: ' + (8192 >>> 28));
 }
 if (16384 >>> 28 !== 0) {
   $ERROR('#911: 16384 >>> 28 === 0. Actual: ' + (16384 >>> 28));
 }
 if (32768 >>> 28 !== 0) {
   $ERROR('#912: 32768 >>> 28 === 0. Actual: ' + (32768 >>> 28));
 }
 if (65536 >>> 28 !== 0) {
   $ERROR('#913: 65536 >>> 28 === 0. Actual: ' + (65536 >>> 28));
 }
 if (131072 >>> 28 !== 0) {
   $ERROR('#914: 131072 >>> 28 === 0. Actual: ' + (131072 >>> 28));
 }
 if (262144 >>> 28 !== 0) {
   $ERROR('#915: 262144 >>> 28 === 0. Actual: ' + (262144 >>> 28));
 }
 if (524288 >>> 28 !== 0) {
   $ERROR('#916: 524288 >>> 28 === 0. Actual: ' + (524288 >>> 28));
 }
 if (1048576 >>> 28 !== 0) {
   $ERROR('#917: 1048576 >>> 28 === 0. Actual: ' + (1048576 >>> 28));
 }
 if (2097152 >>> 28 !== 0) {
   $ERROR('#918: 2097152 >>> 28 === 0. Actual: ' + (2097152 >>> 28));
 }
 if (4194304 >>> 28 !== 0) {
   $ERROR('#919: 4194304 >>> 28 === 0. Actual: ' + (4194304 >>> 28));
 }
 if (8388608 >>> 28 !== 0) {
   $ERROR('#920: 8388608 >>> 28 === 0. Actual: ' + (8388608 >>> 28));
 }
 if (16777216 >>> 28 !== 0) {
   $ERROR('#921: 16777216 >>> 28 === 0. Actual: ' + (16777216 >>> 28));
 }
 if (33554432 >>> 28 !== 0) {
   $ERROR('#922: 33554432 >>> 28 === 0. Actual: ' + (33554432 >>> 28));
 }
 if (67108864 >>> 28 !== 0) {
   $ERROR('#923: 67108864 >>> 28 === 0. Actual: ' + (67108864 >>> 28));
 }
 if (134217728 >>> 28 !== 0) {
   $ERROR('#924: 134217728 >>> 28 === 0. Actual: ' + (134217728 >>> 28));
 }
 if (268435456 >>> 28 !== 1) {
   $ERROR('#925: 268435456 >>> 28 === 1. Actual: ' + (268435456 >>> 28));
 }
 if (536870912 >>> 28 !== 2) {
   $ERROR('#926: 536870912 >>> 28 === 2. Actual: ' + (536870912 >>> 28));
 }
 if (1073741824 >>> 28 !== 4) {
   $ERROR('#927: 1073741824 >>> 28 === 4. Actual: ' + (1073741824 >>> 28));
 }
 if (2147483648 >>> 28 !== 8) {
   $ERROR('#928: 2147483648 >>> 28 === 8. Actual: ' + (2147483648 >>> 28));
 }
 if (1 >>> 29 !== 0) {
   $ERROR('#929: 1 >>> 29 === 0. Actual: ' + (1 >>> 29));
 }
 if (2 >>> 29 !== 0) {
   $ERROR('#930: 2 >>> 29 === 0. Actual: ' + (2 >>> 29));
 }
 if (4 >>> 29 !== 0) {
   $ERROR('#931: 4 >>> 29 === 0. Actual: ' + (4 >>> 29));
 }
 if (8 >>> 29 !== 0) {
   $ERROR('#932: 8 >>> 29 === 0. Actual: ' + (8 >>> 29));
 }
 if (16 >>> 29 !== 0) {
   $ERROR('#933: 16 >>> 29 === 0. Actual: ' + (16 >>> 29));
 }
 if (32 >>> 29 !== 0) {
   $ERROR('#934: 32 >>> 29 === 0. Actual: ' + (32 >>> 29));
 }
 if (64 >>> 29 !== 0) {
   $ERROR('#935: 64 >>> 29 === 0. Actual: ' + (64 >>> 29));
 }
 if (128 >>> 29 !== 0) {
   $ERROR('#936: 128 >>> 29 === 0. Actual: ' + (128 >>> 29));
 }
 if (256 >>> 29 !== 0) {
   $ERROR('#937: 256 >>> 29 === 0. Actual: ' + (256 >>> 29));
 }
 if (512 >>> 29 !== 0) {
   $ERROR('#938: 512 >>> 29 === 0. Actual: ' + (512 >>> 29));
 }
 if (1024 >>> 29 !== 0) {
   $ERROR('#939: 1024 >>> 29 === 0. Actual: ' + (1024 >>> 29));
 }
 if (2048 >>> 29 !== 0) {
   $ERROR('#940: 2048 >>> 29 === 0. Actual: ' + (2048 >>> 29));
 }
 if (4096 >>> 29 !== 0) {
   $ERROR('#941: 4096 >>> 29 === 0. Actual: ' + (4096 >>> 29));
 }
 if (8192 >>> 29 !== 0) {
   $ERROR('#942: 8192 >>> 29 === 0. Actual: ' + (8192 >>> 29));
 }
 if (16384 >>> 29 !== 0) {
   $ERROR('#943: 16384 >>> 29 === 0. Actual: ' + (16384 >>> 29));
 }
 if (32768 >>> 29 !== 0) {
   $ERROR('#944: 32768 >>> 29 === 0. Actual: ' + (32768 >>> 29));
 }
 if (65536 >>> 29 !== 0) {
   $ERROR('#945: 65536 >>> 29 === 0. Actual: ' + (65536 >>> 29));
 }
 if (131072 >>> 29 !== 0) {
   $ERROR('#946: 131072 >>> 29 === 0. Actual: ' + (131072 >>> 29));
 }
 if (262144 >>> 29 !== 0) {
   $ERROR('#947: 262144 >>> 29 === 0. Actual: ' + (262144 >>> 29));
 }
 if (524288 >>> 29 !== 0) {
   $ERROR('#948: 524288 >>> 29 === 0. Actual: ' + (524288 >>> 29));
 }
 if (1048576 >>> 29 !== 0) {
   $ERROR('#949: 1048576 >>> 29 === 0. Actual: ' + (1048576 >>> 29));
 }
 if (2097152 >>> 29 !== 0) {
   $ERROR('#950: 2097152 >>> 29 === 0. Actual: ' + (2097152 >>> 29));
 }
 if (4194304 >>> 29 !== 0) {
   $ERROR('#951: 4194304 >>> 29 === 0. Actual: ' + (4194304 >>> 29));
 }
 if (8388608 >>> 29 !== 0) {
   $ERROR('#952: 8388608 >>> 29 === 0. Actual: ' + (8388608 >>> 29));
 }
 if (16777216 >>> 29 !== 0) {
   $ERROR('#953: 16777216 >>> 29 === 0. Actual: ' + (16777216 >>> 29));
 }
 if (33554432 >>> 29 !== 0) {
   $ERROR('#954: 33554432 >>> 29 === 0. Actual: ' + (33554432 >>> 29));
 }
 if (67108864 >>> 29 !== 0) {
   $ERROR('#955: 67108864 >>> 29 === 0. Actual: ' + (67108864 >>> 29));
 }
 if (134217728 >>> 29 !== 0) {
   $ERROR('#956: 134217728 >>> 29 === 0. Actual: ' + (134217728 >>> 29));
 }
 if (268435456 >>> 29 !== 0) {
   $ERROR('#957: 268435456 >>> 29 === 0. Actual: ' + (268435456 >>> 29));
 }
 if (536870912 >>> 29 !== 1) {
   $ERROR('#958: 536870912 >>> 29 === 1. Actual: ' + (536870912 >>> 29));
 }
 if (1073741824 >>> 29 !== 2) {
   $ERROR('#959: 1073741824 >>> 29 === 2. Actual: ' + (1073741824 >>> 29));
 }
 if (2147483648 >>> 29 !== 4) {
   $ERROR('#960: 2147483648 >>> 29 === 4. Actual: ' + (2147483648 >>> 29));
 }
 if (1 >>> 30 !== 0) {
   $ERROR('#961: 1 >>> 30 === 0. Actual: ' + (1 >>> 30));
 }
 if (2 >>> 30 !== 0) {
   $ERROR('#962: 2 >>> 30 === 0. Actual: ' + (2 >>> 30));
 }
 if (4 >>> 30 !== 0) {
   $ERROR('#963: 4 >>> 30 === 0. Actual: ' + (4 >>> 30));
 }
 if (8 >>> 30 !== 0) {
   $ERROR('#964: 8 >>> 30 === 0. Actual: ' + (8 >>> 30));
 }
 if (16 >>> 30 !== 0) {
   $ERROR('#965: 16 >>> 30 === 0. Actual: ' + (16 >>> 30));
 }
 if (32 >>> 30 !== 0) {
   $ERROR('#966: 32 >>> 30 === 0. Actual: ' + (32 >>> 30));
 }
 if (64 >>> 30 !== 0) {
   $ERROR('#967: 64 >>> 30 === 0. Actual: ' + (64 >>> 30));
 }
 if (128 >>> 30 !== 0) {
   $ERROR('#968: 128 >>> 30 === 0. Actual: ' + (128 >>> 30));
 }
 if (256 >>> 30 !== 0) {
   $ERROR('#969: 256 >>> 30 === 0. Actual: ' + (256 >>> 30));
 }
 if (512 >>> 30 !== 0) {
   $ERROR('#970: 512 >>> 30 === 0. Actual: ' + (512 >>> 30));
 }
 if (1024 >>> 30 !== 0) {
   $ERROR('#971: 1024 >>> 30 === 0. Actual: ' + (1024 >>> 30));
 }
 if (2048 >>> 30 !== 0) {
   $ERROR('#972: 2048 >>> 30 === 0. Actual: ' + (2048 >>> 30));
 }
 if (4096 >>> 30 !== 0) {
   $ERROR('#973: 4096 >>> 30 === 0. Actual: ' + (4096 >>> 30));
 }
 if (8192 >>> 30 !== 0) {
   $ERROR('#974: 8192 >>> 30 === 0. Actual: ' + (8192 >>> 30));
 }
 if (16384 >>> 30 !== 0) {
   $ERROR('#975: 16384 >>> 30 === 0. Actual: ' + (16384 >>> 30));
 }
 if (32768 >>> 30 !== 0) {
   $ERROR('#976: 32768 >>> 30 === 0. Actual: ' + (32768 >>> 30));
 }
 if (65536 >>> 30 !== 0) {
   $ERROR('#977: 65536 >>> 30 === 0. Actual: ' + (65536 >>> 30));
 }
 if (131072 >>> 30 !== 0) {
   $ERROR('#978: 131072 >>> 30 === 0. Actual: ' + (131072 >>> 30));
 }
 if (262144 >>> 30 !== 0) {
   $ERROR('#979: 262144 >>> 30 === 0. Actual: ' + (262144 >>> 30));
 }
 if (524288 >>> 30 !== 0) {
   $ERROR('#980: 524288 >>> 30 === 0. Actual: ' + (524288 >>> 30));
 }
 if (1048576 >>> 30 !== 0) {
   $ERROR('#981: 1048576 >>> 30 === 0. Actual: ' + (1048576 >>> 30));
 }
 if (2097152 >>> 30 !== 0) {
   $ERROR('#982: 2097152 >>> 30 === 0. Actual: ' + (2097152 >>> 30));
 }
 if (4194304 >>> 30 !== 0) {
   $ERROR('#983: 4194304 >>> 30 === 0. Actual: ' + (4194304 >>> 30));
 }
 if (8388608 >>> 30 !== 0) {
   $ERROR('#984: 8388608 >>> 30 === 0. Actual: ' + (8388608 >>> 30));
 }
 if (16777216 >>> 30 !== 0) {
   $ERROR('#985: 16777216 >>> 30 === 0. Actual: ' + (16777216 >>> 30));
 }
 if (33554432 >>> 30 !== 0) {
   $ERROR('#986: 33554432 >>> 30 === 0. Actual: ' + (33554432 >>> 30));
 }
 if (67108864 >>> 30 !== 0) {
   $ERROR('#987: 67108864 >>> 30 === 0. Actual: ' + (67108864 >>> 30));
 }
 if (134217728 >>> 30 !== 0) {
   $ERROR('#988: 134217728 >>> 30 === 0. Actual: ' + (134217728 >>> 30));
 }
 if (268435456 >>> 30 !== 0) {
   $ERROR('#989: 268435456 >>> 30 === 0. Actual: ' + (268435456 >>> 30));
 }
 if (536870912 >>> 30 !== 0) {
   $ERROR('#990: 536870912 >>> 30 === 0. Actual: ' + (536870912 >>> 30));
 }
 if (1073741824 >>> 30 !== 1) {
   $ERROR('#991: 1073741824 >>> 30 === 1. Actual: ' + (1073741824 >>> 30));
 }
 if (2147483648 >>> 30 !== 2) {
   $ERROR('#992: 2147483648 >>> 30 === 2. Actual: ' + (2147483648 >>> 30));
 }
 if (1 >>> 31 !== 0) {
   $ERROR('#993: 1 >>> 31 === 0. Actual: ' + (1 >>> 31));
 }
 if (2 >>> 31 !== 0) {
   $ERROR('#994: 2 >>> 31 === 0. Actual: ' + (2 >>> 31));
 }
 if (4 >>> 31 !== 0) {
   $ERROR('#995: 4 >>> 31 === 0. Actual: ' + (4 >>> 31));
 }
 if (8 >>> 31 !== 0) {
   $ERROR('#996: 8 >>> 31 === 0. Actual: ' + (8 >>> 31));
 }
 if (16 >>> 31 !== 0) {
   $ERROR('#997: 16 >>> 31 === 0. Actual: ' + (16 >>> 31));
 }
 if (32 >>> 31 !== 0) {
   $ERROR('#998: 32 >>> 31 === 0. Actual: ' + (32 >>> 31));
 }
 if (64 >>> 31 !== 0) {
   $ERROR('#999: 64 >>> 31 === 0. Actual: ' + (64 >>> 31));
 }
 if (128 >>> 31 !== 0) {
   $ERROR('#1000: 128 >>> 31 === 0. Actual: ' + (128 >>> 31));
 }
 if (256 >>> 31 !== 0) {
   $ERROR('#1001: 256 >>> 31 === 0. Actual: ' + (256 >>> 31));
 }
 if (512 >>> 31 !== 0) {
   $ERROR('#1002: 512 >>> 31 === 0. Actual: ' + (512 >>> 31));
 }
 if (1024 >>> 31 !== 0) {
   $ERROR('#1003: 1024 >>> 31 === 0. Actual: ' + (1024 >>> 31));
 }
 if (2048 >>> 31 !== 0) {
   $ERROR('#1004: 2048 >>> 31 === 0. Actual: ' + (2048 >>> 31));
 }
 if (4096 >>> 31 !== 0) {
   $ERROR('#1005: 4096 >>> 31 === 0. Actual: ' + (4096 >>> 31));
 }
 if (8192 >>> 31 !== 0) {
   $ERROR('#1006: 8192 >>> 31 === 0. Actual: ' + (8192 >>> 31));
 }
 if (16384 >>> 31 !== 0) {
   $ERROR('#1007: 16384 >>> 31 === 0. Actual: ' + (16384 >>> 31));
 }
 if (32768 >>> 31 !== 0) {
   $ERROR('#1008: 32768 >>> 31 === 0. Actual: ' + (32768 >>> 31));
 }
 if (65536 >>> 31 !== 0) {
   $ERROR('#1009: 65536 >>> 31 === 0. Actual: ' + (65536 >>> 31));
 }
 if (131072 >>> 31 !== 0) {
   $ERROR('#1010: 131072 >>> 31 === 0. Actual: ' + (131072 >>> 31));
 }
 if (262144 >>> 31 !== 0) {
   $ERROR('#1011: 262144 >>> 31 === 0. Actual: ' + (262144 >>> 31));
 }
 if (524288 >>> 31 !== 0) {
   $ERROR('#1012: 524288 >>> 31 === 0. Actual: ' + (524288 >>> 31));
 }
 if (1048576 >>> 31 !== 0) {
   $ERROR('#1013: 1048576 >>> 31 === 0. Actual: ' + (1048576 >>> 31));
 }
 if (2097152 >>> 31 !== 0) {
   $ERROR('#1014: 2097152 >>> 31 === 0. Actual: ' + (2097152 >>> 31));
 }
 if (4194304 >>> 31 !== 0) {
   $ERROR('#1015: 4194304 >>> 31 === 0. Actual: ' + (4194304 >>> 31));
 }
 if (8388608 >>> 31 !== 0) {
   $ERROR('#1016: 8388608 >>> 31 === 0. Actual: ' + (8388608 >>> 31));
 }
 if (16777216 >>> 31 !== 0) {
   $ERROR('#1017: 16777216 >>> 31 === 0. Actual: ' + (16777216 >>> 31));
 }
 if (33554432 >>> 31 !== 0) {
   $ERROR('#1018: 33554432 >>> 31 === 0. Actual: ' + (33554432 >>> 31));
 }
 if (67108864 >>> 31 !== 0) {
   $ERROR('#1019: 67108864 >>> 31 === 0. Actual: ' + (67108864 >>> 31));
 }
 if (134217728 >>> 31 !== 0) {
   $ERROR('#1020: 134217728 >>> 31 === 0. Actual: ' + (134217728 >>> 31));
 }
 if (268435456 >>> 31 !== 0) {
   $ERROR('#1021: 268435456 >>> 31 === 0. Actual: ' + (268435456 >>> 31));
 }
 if (536870912 >>> 31 !== 0) {
   $ERROR('#1022: 536870912 >>> 31 === 0. Actual: ' + (536870912 >>> 31));
 }
 if (1073741824 >>> 31 !== 0) {
   $ERROR('#1023: 1073741824 >>> 31 === 0. Actual: ' + (1073741824 >>> 31));
 }
 if (2147483648 >>> 31 !== 1) {
   $ERROR('#1024: 2147483648 >>> 31 === 1. Actual: ' + (2147483648 >>> 31));
 }