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

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

js/src/tests/test262/ch11/11.7/11.7.2/S11.7.2_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 x >> y operator in distinct points
  *
  * @path ch11/11.7/11.7.2/S11.7.2_A4_T2.js
  * @description ShiftExpression = 2^n - 1, n = 16...31
  */
 //CHECK
 if (-1 >> 16 !== -1) {
   $ERROR('#513: -1 >> 16 === -1. Actual: ' + (-1 >> 16));
 }
 if (-2 >> 16 !== -1) {
   $ERROR('#514: -2 >> 16 === -1. Actual: ' + (-2 >> 16));
 }
 if (-4 >> 16 !== -1) {
   $ERROR('#515: -4 >> 16 === -1. Actual: ' + (-4 >> 16));
 }
 if (-8 >> 16 !== -1) {
   $ERROR('#516: -8 >> 16 === -1. Actual: ' + (-8 >> 16));
 }
 if (-16 >> 16 !== -1) {
   $ERROR('#517: -16 >> 16 === -1. Actual: ' + (-16 >> 16));
 }
 if (-32 >> 16 !== -1) {
   $ERROR('#518: -32 >> 16 === -1. Actual: ' + (-32 >> 16));
 }
 if (-64 >> 16 !== -1) {
   $ERROR('#519: -64 >> 16 === -1. Actual: ' + (-64 >> 16));
 }
 if (-128 >> 16 !== -1) {
   $ERROR('#520: -128 >> 16 === -1. Actual: ' + (-128 >> 16));
 }
 if (-256 >> 16 !== -1) {
   $ERROR('#521: -256 >> 16 === -1. Actual: ' + (-256 >> 16));
 }
 if (-512 >> 16 !== -1) {
   $ERROR('#522: -512 >> 16 === -1. Actual: ' + (-512 >> 16));
 }
 if (-1024 >> 16 !== -1) {
   $ERROR('#523: -1024 >> 16 === -1. Actual: ' + (-1024 >> 16));
 }
 if (-2048 >> 16 !== -1) {
   $ERROR('#524: -2048 >> 16 === -1. Actual: ' + (-2048 >> 16));
 }
 if (-4096 >> 16 !== -1) {
   $ERROR('#525: -4096 >> 16 === -1. Actual: ' + (-4096 >> 16));
 }
 if (-8192 >> 16 !== -1) {
   $ERROR('#526: -8192 >> 16 === -1. Actual: ' + (-8192 >> 16));
 }
 if (-16384 >> 16 !== -1) {
   $ERROR('#527: -16384 >> 16 === -1. Actual: ' + (-16384 >> 16));
 }
 if (-32768 >> 16 !== -1) {
   $ERROR('#528: -32768 >> 16 === -1. 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 !== -1) {
   $ERROR('#545: -1 >> 17 === -1. Actual: ' + (-1 >> 17));
 }
 if (-2 >> 17 !== -1) {
   $ERROR('#546: -2 >> 17 === -1. Actual: ' + (-2 >> 17));
 }
 if (-4 >> 17 !== -1) {
   $ERROR('#547: -4 >> 17 === -1. Actual: ' + (-4 >> 17));
 }
 if (-8 >> 17 !== -1) {
   $ERROR('#548: -8 >> 17 === -1. Actual: ' + (-8 >> 17));
 }
 if (-16 >> 17 !== -1) {
   $ERROR('#549: -16 >> 17 === -1. Actual: ' + (-16 >> 17));
 }
 if (-32 >> 17 !== -1) {
   $ERROR('#550: -32 >> 17 === -1. Actual: ' + (-32 >> 17));
 }
 if (-64 >> 17 !== -1) {
   $ERROR('#551: -64 >> 17 === -1. Actual: ' + (-64 >> 17));
 }
 if (-128 >> 17 !== -1) {
   $ERROR('#552: -128 >> 17 === -1. Actual: ' + (-128 >> 17));
 }
 if (-256 >> 17 !== -1) {
   $ERROR('#553: -256 >> 17 === -1. Actual: ' + (-256 >> 17));
 }
 if (-512 >> 17 !== -1) {
   $ERROR('#554: -512 >> 17 === -1. Actual: ' + (-512 >> 17));
 }
 if (-1024 >> 17 !== -1) {
   $ERROR('#555: -1024 >> 17 === -1. Actual: ' + (-1024 >> 17));
 }
 if (-2048 >> 17 !== -1) {
   $ERROR('#556: -2048 >> 17 === -1. Actual: ' + (-2048 >> 17));
 }
 if (-4096 >> 17 !== -1) {
   $ERROR('#557: -4096 >> 17 === -1. Actual: ' + (-4096 >> 17));
 }
 if (-8192 >> 17 !== -1) {
   $ERROR('#558: -8192 >> 17 === -1. Actual: ' + (-8192 >> 17));
 }
 if (-16384 >> 17 !== -1) {
   $ERROR('#559: -16384 >> 17 === -1. Actual: ' + (-16384 >> 17));
 }
 if (-32768 >> 17 !== -1) {
   $ERROR('#560: -32768 >> 17 === -1. Actual: ' + (-32768 >> 17));
 }
 if (-65536 >> 17 !== -1) {
   $ERROR('#561: -65536 >> 17 === -1. 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 !== -1) {
   $ERROR('#577: -1 >> 18 === -1. Actual: ' + (-1 >> 18));
 }
 if (-2 >> 18 !== -1) {
   $ERROR('#578: -2 >> 18 === -1. Actual: ' + (-2 >> 18));
 }
 if (-4 >> 18 !== -1) {
   $ERROR('#579: -4 >> 18 === -1. Actual: ' + (-4 >> 18));
 }
 if (-8 >> 18 !== -1) {
   $ERROR('#580: -8 >> 18 === -1. Actual: ' + (-8 >> 18));
 }
 if (-16 >> 18 !== -1) {
   $ERROR('#581: -16 >> 18 === -1. Actual: ' + (-16 >> 18));
 }
 if (-32 >> 18 !== -1) {
   $ERROR('#582: -32 >> 18 === -1. Actual: ' + (-32 >> 18));
 }
 if (-64 >> 18 !== -1) {
   $ERROR('#583: -64 >> 18 === -1. Actual: ' + (-64 >> 18));
 }
 if (-128 >> 18 !== -1) {
   $ERROR('#584: -128 >> 18 === -1. Actual: ' + (-128 >> 18));
 }
 if (-256 >> 18 !== -1) {
   $ERROR('#585: -256 >> 18 === -1. Actual: ' + (-256 >> 18));
 }
 if (-512 >> 18 !== -1) {
   $ERROR('#586: -512 >> 18 === -1. Actual: ' + (-512 >> 18));
 }
 if (-1024 >> 18 !== -1) {
   $ERROR('#587: -1024 >> 18 === -1. Actual: ' + (-1024 >> 18));
 }
 if (-2048 >> 18 !== -1) {
   $ERROR('#588: -2048 >> 18 === -1. Actual: ' + (-2048 >> 18));
 }
 if (-4096 >> 18 !== -1) {
   $ERROR('#589: -4096 >> 18 === -1. Actual: ' + (-4096 >> 18));
 }
 if (-8192 >> 18 !== -1) {
   $ERROR('#590: -8192 >> 18 === -1. Actual: ' + (-8192 >> 18));
 }
 if (-16384 >> 18 !== -1) {
   $ERROR('#591: -16384 >> 18 === -1. Actual: ' + (-16384 >> 18));
 }
 if (-32768 >> 18 !== -1) {
   $ERROR('#592: -32768 >> 18 === -1. Actual: ' + (-32768 >> 18));
 }
 if (-65536 >> 18 !== -1) {
   $ERROR('#593: -65536 >> 18 === -1. Actual: ' + (-65536 >> 18));
 }
 if (-131072 >> 18 !== -1) {
   $ERROR('#594: -131072 >> 18 === -1. 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 !== -1) {
   $ERROR('#609: -1 >> 19 === -1. Actual: ' + (-1 >> 19));
 }
 if (-2 >> 19 !== -1) {
   $ERROR('#610: -2 >> 19 === -1. Actual: ' + (-2 >> 19));
 }
 if (-4 >> 19 !== -1) {
   $ERROR('#611: -4 >> 19 === -1. Actual: ' + (-4 >> 19));
 }
 if (-8 >> 19 !== -1) {
   $ERROR('#612: -8 >> 19 === -1. Actual: ' + (-8 >> 19));
 }
 if (-16 >> 19 !== -1) {
   $ERROR('#613: -16 >> 19 === -1. Actual: ' + (-16 >> 19));
 }
 if (-32 >> 19 !== -1) {
   $ERROR('#614: -32 >> 19 === -1. Actual: ' + (-32 >> 19));
 }
 if (-64 >> 19 !== -1) {
   $ERROR('#615: -64 >> 19 === -1. Actual: ' + (-64 >> 19));
 }
 if (-128 >> 19 !== -1) {
   $ERROR('#616: -128 >> 19 === -1. Actual: ' + (-128 >> 19));
 }
 if (-256 >> 19 !== -1) {
   $ERROR('#617: -256 >> 19 === -1. Actual: ' + (-256 >> 19));
 }
 if (-512 >> 19 !== -1) {
   $ERROR('#618: -512 >> 19 === -1. Actual: ' + (-512 >> 19));
 }
 if (-1024 >> 19 !== -1) {
   $ERROR('#619: -1024 >> 19 === -1. Actual: ' + (-1024 >> 19));
 }
 if (-2048 >> 19 !== -1) {
   $ERROR('#620: -2048 >> 19 === -1. Actual: ' + (-2048 >> 19));
 }
 if (-4096 >> 19 !== -1) {
   $ERROR('#621: -4096 >> 19 === -1. Actual: ' + (-4096 >> 19));
 }
 if (-8192 >> 19 !== -1) {
   $ERROR('#622: -8192 >> 19 === -1. Actual: ' + (-8192 >> 19));
 }
 if (-16384 >> 19 !== -1) {
   $ERROR('#623: -16384 >> 19 === -1. Actual: ' + (-16384 >> 19));
 }
 if (-32768 >> 19 !== -1) {
   $ERROR('#624: -32768 >> 19 === -1. Actual: ' + (-32768 >> 19));
 }
 if (-65536 >> 19 !== -1) {
   $ERROR('#625: -65536 >> 19 === -1. Actual: ' + (-65536 >> 19));
 }
 if (-131072 >> 19 !== -1) {
   $ERROR('#626: -131072 >> 19 === -1. Actual: ' + (-131072 >> 19));
 }
 if (-262144 >> 19 !== -1) {
   $ERROR('#627: -262144 >> 19 === -1. 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 !== -1) {
   $ERROR('#641: -1 >> 20 === -1. Actual: ' + (-1 >> 20));
 }
 if (-2 >> 20 !== -1) {
   $ERROR('#642: -2 >> 20 === -1. Actual: ' + (-2 >> 20));
 }
 if (-4 >> 20 !== -1) {
   $ERROR('#643: -4 >> 20 === -1. Actual: ' + (-4 >> 20));
 }
 if (-8 >> 20 !== -1) {
   $ERROR('#644: -8 >> 20 === -1. Actual: ' + (-8 >> 20));
 }
 if (-16 >> 20 !== -1) {
   $ERROR('#645: -16 >> 20 === -1. Actual: ' + (-16 >> 20));
 }
 if (-32 >> 20 !== -1) {
   $ERROR('#646: -32 >> 20 === -1. Actual: ' + (-32 >> 20));
 }
 if (-64 >> 20 !== -1) {
   $ERROR('#647: -64 >> 20 === -1. Actual: ' + (-64 >> 20));
 }
 if (-128 >> 20 !== -1) {
   $ERROR('#648: -128 >> 20 === -1. Actual: ' + (-128 >> 20));
 }
 if (-256 >> 20 !== -1) {
   $ERROR('#649: -256 >> 20 === -1. Actual: ' + (-256 >> 20));
 }
 if (-512 >> 20 !== -1) {
   $ERROR('#650: -512 >> 20 === -1. Actual: ' + (-512 >> 20));
 }
 if (-1024 >> 20 !== -1) {
   $ERROR('#651: -1024 >> 20 === -1. Actual: ' + (-1024 >> 20));
 }
 if (-2048 >> 20 !== -1) {
   $ERROR('#652: -2048 >> 20 === -1. Actual: ' + (-2048 >> 20));
 }
 if (-4096 >> 20 !== -1) {
   $ERROR('#653: -4096 >> 20 === -1. Actual: ' + (-4096 >> 20));
 }
 if (-8192 >> 20 !== -1) {
   $ERROR('#654: -8192 >> 20 === -1. Actual: ' + (-8192 >> 20));
 }
 if (-16384 >> 20 !== -1) {
   $ERROR('#655: -16384 >> 20 === -1. Actual: ' + (-16384 >> 20));
 }
 if (-32768 >> 20 !== -1) {
   $ERROR('#656: -32768 >> 20 === -1. Actual: ' + (-32768 >> 20));
 }
 if (-65536 >> 20 !== -1) {
   $ERROR('#657: -65536 >> 20 === -1. Actual: ' + (-65536 >> 20));
 }
 if (-131072 >> 20 !== -1) {
   $ERROR('#658: -131072 >> 20 === -1. Actual: ' + (-131072 >> 20));
 }
 if (-262144 >> 20 !== -1) {
   $ERROR('#659: -262144 >> 20 === -1. Actual: ' + (-262144 >> 20));
 }
 if (-524288 >> 20 !== -1) {
   $ERROR('#660: -524288 >> 20 === -1. 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 !== -1) {
   $ERROR('#673: -1 >> 21 === -1. Actual: ' + (-1 >> 21));
 }
 if (-2 >> 21 !== -1) {
   $ERROR('#674: -2 >> 21 === -1. Actual: ' + (-2 >> 21));
 }
 if (-4 >> 21 !== -1) {
   $ERROR('#675: -4 >> 21 === -1. Actual: ' + (-4 >> 21));
 }
 if (-8 >> 21 !== -1) {
   $ERROR('#676: -8 >> 21 === -1. Actual: ' + (-8 >> 21));
 }
 if (-16 >> 21 !== -1) {
   $ERROR('#677: -16 >> 21 === -1. Actual: ' + (-16 >> 21));
 }
 if (-32 >> 21 !== -1) {
   $ERROR('#678: -32 >> 21 === -1. Actual: ' + (-32 >> 21));
 }
 if (-64 >> 21 !== -1) {
   $ERROR('#679: -64 >> 21 === -1. Actual: ' + (-64 >> 21));
 }
 if (-128 >> 21 !== -1) {
   $ERROR('#680: -128 >> 21 === -1. Actual: ' + (-128 >> 21));
 }
 if (-256 >> 21 !== -1) {
   $ERROR('#681: -256 >> 21 === -1. Actual: ' + (-256 >> 21));
 }
 if (-512 >> 21 !== -1) {
   $ERROR('#682: -512 >> 21 === -1. Actual: ' + (-512 >> 21));
 }
 if (-1024 >> 21 !== -1) {
   $ERROR('#683: -1024 >> 21 === -1. Actual: ' + (-1024 >> 21));
 }
 if (-2048 >> 21 !== -1) {
   $ERROR('#684: -2048 >> 21 === -1. Actual: ' + (-2048 >> 21));
 }
 if (-4096 >> 21 !== -1) {
   $ERROR('#685: -4096 >> 21 === -1. Actual: ' + (-4096 >> 21));
 }
 if (-8192 >> 21 !== -1) {
   $ERROR('#686: -8192 >> 21 === -1. Actual: ' + (-8192 >> 21));
 }
 if (-16384 >> 21 !== -1) {
   $ERROR('#687: -16384 >> 21 === -1. Actual: ' + (-16384 >> 21));
 }
 if (-32768 >> 21 !== -1) {
   $ERROR('#688: -32768 >> 21 === -1. Actual: ' + (-32768 >> 21));
 }
 if (-65536 >> 21 !== -1) {
   $ERROR('#689: -65536 >> 21 === -1. Actual: ' + (-65536 >> 21));
 }
 if (-131072 >> 21 !== -1) {
   $ERROR('#690: -131072 >> 21 === -1. Actual: ' + (-131072 >> 21));
 }
 if (-262144 >> 21 !== -1) {
   $ERROR('#691: -262144 >> 21 === -1. Actual: ' + (-262144 >> 21));
 }
 if (-524288 >> 21 !== -1) {
   $ERROR('#692: -524288 >> 21 === -1. Actual: ' + (-524288 >> 21));
 }
 if (-1048576 >> 21 !== -1) {
   $ERROR('#693: -1048576 >> 21 === -1. 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 !== -1) {
   $ERROR('#705: -1 >> 22 === -1. Actual: ' + (-1 >> 22));
 }
 if (-2 >> 22 !== -1) {
   $ERROR('#706: -2 >> 22 === -1. Actual: ' + (-2 >> 22));
 }
 if (-4 >> 22 !== -1) {
   $ERROR('#707: -4 >> 22 === -1. Actual: ' + (-4 >> 22));
 }
 if (-8 >> 22 !== -1) {
   $ERROR('#708: -8 >> 22 === -1. Actual: ' + (-8 >> 22));
 }
 if (-16 >> 22 !== -1) {
   $ERROR('#709: -16 >> 22 === -1. Actual: ' + (-16 >> 22));
 }
 if (-32 >> 22 !== -1) {
   $ERROR('#710: -32 >> 22 === -1. Actual: ' + (-32 >> 22));
 }
 if (-64 >> 22 !== -1) {
   $ERROR('#711: -64 >> 22 === -1. Actual: ' + (-64 >> 22));
 }
 if (-128 >> 22 !== -1) {
   $ERROR('#712: -128 >> 22 === -1. Actual: ' + (-128 >> 22));
 }
 if (-256 >> 22 !== -1) {
   $ERROR('#713: -256 >> 22 === -1. Actual: ' + (-256 >> 22));
 }
 if (-512 >> 22 !== -1) {
   $ERROR('#714: -512 >> 22 === -1. Actual: ' + (-512 >> 22));
 }
 if (-1024 >> 22 !== -1) {
   $ERROR('#715: -1024 >> 22 === -1. Actual: ' + (-1024 >> 22));
 }
 if (-2048 >> 22 !== -1) {
   $ERROR('#716: -2048 >> 22 === -1. Actual: ' + (-2048 >> 22));
 }
 if (-4096 >> 22 !== -1) {
   $ERROR('#717: -4096 >> 22 === -1. Actual: ' + (-4096 >> 22));
 }
 if (-8192 >> 22 !== -1) {
   $ERROR('#718: -8192 >> 22 === -1. Actual: ' + (-8192 >> 22));
 }
 if (-16384 >> 22 !== -1) {
   $ERROR('#719: -16384 >> 22 === -1. Actual: ' + (-16384 >> 22));
 }
 if (-32768 >> 22 !== -1) {
   $ERROR('#720: -32768 >> 22 === -1. Actual: ' + (-32768 >> 22));
 }
 if (-65536 >> 22 !== -1) {
   $ERROR('#721: -65536 >> 22 === -1. Actual: ' + (-65536 >> 22));
 }
 if (-131072 >> 22 !== -1) {
   $ERROR('#722: -131072 >> 22 === -1. Actual: ' + (-131072 >> 22));
 }
 if (-262144 >> 22 !== -1) {
   $ERROR('#723: -262144 >> 22 === -1. Actual: ' + (-262144 >> 22));
 }
 if (-524288 >> 22 !== -1) {
   $ERROR('#724: -524288 >> 22 === -1. Actual: ' + (-524288 >> 22));
 }
 if (-1048576 >> 22 !== -1) {
   $ERROR('#725: -1048576 >> 22 === -1. Actual: ' + (-1048576 >> 22));
 }
 if (-2097152 >> 22 !== -1) {
   $ERROR('#726: -2097152 >> 22 === -1. 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 !== -1) {
   $ERROR('#737: -1 >> 23 === -1. Actual: ' + (-1 >> 23));
 }
 if (-2 >> 23 !== -1) {
   $ERROR('#738: -2 >> 23 === -1. Actual: ' + (-2 >> 23));
 }
 if (-4 >> 23 !== -1) {
   $ERROR('#739: -4 >> 23 === -1. Actual: ' + (-4 >> 23));
 }
 if (-8 >> 23 !== -1) {
   $ERROR('#740: -8 >> 23 === -1. Actual: ' + (-8 >> 23));
 }
 if (-16 >> 23 !== -1) {
   $ERROR('#741: -16 >> 23 === -1. Actual: ' + (-16 >> 23));
 }
 if (-32 >> 23 !== -1) {
   $ERROR('#742: -32 >> 23 === -1. Actual: ' + (-32 >> 23));
 }
 if (-64 >> 23 !== -1) {
   $ERROR('#743: -64 >> 23 === -1. Actual: ' + (-64 >> 23));
 }
 if (-128 >> 23 !== -1) {
   $ERROR('#744: -128 >> 23 === -1. Actual: ' + (-128 >> 23));
 }
 if (-256 >> 23 !== -1) {
   $ERROR('#745: -256 >> 23 === -1. Actual: ' + (-256 >> 23));
 }
 if (-512 >> 23 !== -1) {
   $ERROR('#746: -512 >> 23 === -1. Actual: ' + (-512 >> 23));
 }
 if (-1024 >> 23 !== -1) {
   $ERROR('#747: -1024 >> 23 === -1. Actual: ' + (-1024 >> 23));
 }
 if (-2048 >> 23 !== -1) {
   $ERROR('#748: -2048 >> 23 === -1. Actual: ' + (-2048 >> 23));
 }
 if (-4096 >> 23 !== -1) {
   $ERROR('#749: -4096 >> 23 === -1. Actual: ' + (-4096 >> 23));
 }
 if (-8192 >> 23 !== -1) {
   $ERROR('#750: -8192 >> 23 === -1. Actual: ' + (-8192 >> 23));
 }
 if (-16384 >> 23 !== -1) {
   $ERROR('#751: -16384 >> 23 === -1. Actual: ' + (-16384 >> 23));
 }
 if (-32768 >> 23 !== -1) {
   $ERROR('#752: -32768 >> 23 === -1. Actual: ' + (-32768 >> 23));
 }
 if (-65536 >> 23 !== -1) {
   $ERROR('#753: -65536 >> 23 === -1. Actual: ' + (-65536 >> 23));
 }
 if (-131072 >> 23 !== -1) {
   $ERROR('#754: -131072 >> 23 === -1. Actual: ' + (-131072 >> 23));
 }
 if (-262144 >> 23 !== -1) {
   $ERROR('#755: -262144 >> 23 === -1. Actual: ' + (-262144 >> 23));
 }
 if (-524288 >> 23 !== -1) {
   $ERROR('#756: -524288 >> 23 === -1. Actual: ' + (-524288 >> 23));
 }
 if (-1048576 >> 23 !== -1) {
   $ERROR('#757: -1048576 >> 23 === -1. Actual: ' + (-1048576 >> 23));
 }
 if (-2097152 >> 23 !== -1) {
   $ERROR('#758: -2097152 >> 23 === -1. Actual: ' + (-2097152 >> 23));
 }
 if (-4194304 >> 23 !== -1) {
   $ERROR('#759: -4194304 >> 23 === -1. 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 !== -1) {
   $ERROR('#769: -1 >> 24 === -1. Actual: ' + (-1 >> 24));
 }
 if (-2 >> 24 !== -1) {
   $ERROR('#770: -2 >> 24 === -1. Actual: ' + (-2 >> 24));
 }
 if (-4 >> 24 !== -1) {
   $ERROR('#771: -4 >> 24 === -1. Actual: ' + (-4 >> 24));
 }
 if (-8 >> 24 !== -1) {
   $ERROR('#772: -8 >> 24 === -1. Actual: ' + (-8 >> 24));
 }
 if (-16 >> 24 !== -1) {
   $ERROR('#773: -16 >> 24 === -1. Actual: ' + (-16 >> 24));
 }
 if (-32 >> 24 !== -1) {
   $ERROR('#774: -32 >> 24 === -1. Actual: ' + (-32 >> 24));
 }
 if (-64 >> 24 !== -1) {
   $ERROR('#775: -64 >> 24 === -1. Actual: ' + (-64 >> 24));
 }
 if (-128 >> 24 !== -1) {
   $ERROR('#776: -128 >> 24 === -1. Actual: ' + (-128 >> 24));
 }
 if (-256 >> 24 !== -1) {
   $ERROR('#777: -256 >> 24 === -1. Actual: ' + (-256 >> 24));
 }
 if (-512 >> 24 !== -1) {
   $ERROR('#778: -512 >> 24 === -1. Actual: ' + (-512 >> 24));
 }
 if (-1024 >> 24 !== -1) {
   $ERROR('#779: -1024 >> 24 === -1. Actual: ' + (-1024 >> 24));
 }
 if (-2048 >> 24 !== -1) {
   $ERROR('#780: -2048 >> 24 === -1. Actual: ' + (-2048 >> 24));
 }
 if (-4096 >> 24 !== -1) {
   $ERROR('#781: -4096 >> 24 === -1. Actual: ' + (-4096 >> 24));
 }
 if (-8192 >> 24 !== -1) {
   $ERROR('#782: -8192 >> 24 === -1. Actual: ' + (-8192 >> 24));
 }
 if (-16384 >> 24 !== -1) {
   $ERROR('#783: -16384 >> 24 === -1. Actual: ' + (-16384 >> 24));
 }
 if (-32768 >> 24 !== -1) {
   $ERROR('#784: -32768 >> 24 === -1. Actual: ' + (-32768 >> 24));
 }
 if (-65536 >> 24 !== -1) {
   $ERROR('#785: -65536 >> 24 === -1. Actual: ' + (-65536 >> 24));
 }
 if (-131072 >> 24 !== -1) {
   $ERROR('#786: -131072 >> 24 === -1. Actual: ' + (-131072 >> 24));
 }
 if (-262144 >> 24 !== -1) {
   $ERROR('#787: -262144 >> 24 === -1. Actual: ' + (-262144 >> 24));
 }
 if (-524288 >> 24 !== -1) {
   $ERROR('#788: -524288 >> 24 === -1. Actual: ' + (-524288 >> 24));
 }
 if (-1048576 >> 24 !== -1) {
   $ERROR('#789: -1048576 >> 24 === -1. Actual: ' + (-1048576 >> 24));
 }
 if (-2097152 >> 24 !== -1) {
   $ERROR('#790: -2097152 >> 24 === -1. Actual: ' + (-2097152 >> 24));
 }
 if (-4194304 >> 24 !== -1) {
   $ERROR('#791: -4194304 >> 24 === -1. Actual: ' + (-4194304 >> 24));
 }
 if (-8388608 >> 24 !== -1) {
   $ERROR('#792: -8388608 >> 24 === -1. 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 !== -1) {
   $ERROR('#801: -1 >> 25 === -1. Actual: ' + (-1 >> 25));
 }
 if (-2 >> 25 !== -1) {
   $ERROR('#802: -2 >> 25 === -1. Actual: ' + (-2 >> 25));
 }
 if (-4 >> 25 !== -1) {
   $ERROR('#803: -4 >> 25 === -1. Actual: ' + (-4 >> 25));
 }
 if (-8 >> 25 !== -1) {
   $ERROR('#804: -8 >> 25 === -1. Actual: ' + (-8 >> 25));
 }
 if (-16 >> 25 !== -1) {
   $ERROR('#805: -16 >> 25 === -1. Actual: ' + (-16 >> 25));
 }
 if (-32 >> 25 !== -1) {
   $ERROR('#806: -32 >> 25 === -1. Actual: ' + (-32 >> 25));
 }
 if (-64 >> 25 !== -1) {
   $ERROR('#807: -64 >> 25 === -1. Actual: ' + (-64 >> 25));
 }
 if (-128 >> 25 !== -1) {
   $ERROR('#808: -128 >> 25 === -1. Actual: ' + (-128 >> 25));
 }
 if (-256 >> 25 !== -1) {
   $ERROR('#809: -256 >> 25 === -1. Actual: ' + (-256 >> 25));
 }
 if (-512 >> 25 !== -1) {
   $ERROR('#810: -512 >> 25 === -1. Actual: ' + (-512 >> 25));
 }
 if (-1024 >> 25 !== -1) {
   $ERROR('#811: -1024 >> 25 === -1. Actual: ' + (-1024 >> 25));
 }
 if (-2048 >> 25 !== -1) {
   $ERROR('#812: -2048 >> 25 === -1. Actual: ' + (-2048 >> 25));
 }
 if (-4096 >> 25 !== -1) {
   $ERROR('#813: -4096 >> 25 === -1. Actual: ' + (-4096 >> 25));
 }
 if (-8192 >> 25 !== -1) {
   $ERROR('#814: -8192 >> 25 === -1. Actual: ' + (-8192 >> 25));
 }
 if (-16384 >> 25 !== -1) {
   $ERROR('#815: -16384 >> 25 === -1. Actual: ' + (-16384 >> 25));
 }
 if (-32768 >> 25 !== -1) {
   $ERROR('#816: -32768 >> 25 === -1. Actual: ' + (-32768 >> 25));
 }
 if (-65536 >> 25 !== -1) {
   $ERROR('#817: -65536 >> 25 === -1. Actual: ' + (-65536 >> 25));
 }
 if (-131072 >> 25 !== -1) {
   $ERROR('#818: -131072 >> 25 === -1. Actual: ' + (-131072 >> 25));
 }
 if (-262144 >> 25 !== -1) {
   $ERROR('#819: -262144 >> 25 === -1. Actual: ' + (-262144 >> 25));
 }
 if (-524288 >> 25 !== -1) {
   $ERROR('#820: -524288 >> 25 === -1. Actual: ' + (-524288 >> 25));
 }
 if (-1048576 >> 25 !== -1) {
   $ERROR('#821: -1048576 >> 25 === -1. Actual: ' + (-1048576 >> 25));
 }
 if (-2097152 >> 25 !== -1) {
   $ERROR('#822: -2097152 >> 25 === -1. Actual: ' + (-2097152 >> 25));
 }
 if (-4194304 >> 25 !== -1) {
   $ERROR('#823: -4194304 >> 25 === -1. Actual: ' + (-4194304 >> 25));
 }
 if (-8388608 >> 25 !== -1) {
   $ERROR('#824: -8388608 >> 25 === -1. Actual: ' + (-8388608 >> 25));
 }
 if (-16777216 >> 25 !== -1) {
   $ERROR('#825: -16777216 >> 25 === -1. 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 !== -1) {
   $ERROR('#833: -1 >> 26 === -1. Actual: ' + (-1 >> 26));
 }
 if (-2 >> 26 !== -1) {
   $ERROR('#834: -2 >> 26 === -1. Actual: ' + (-2 >> 26));
 }
 if (-4 >> 26 !== -1) {
   $ERROR('#835: -4 >> 26 === -1. Actual: ' + (-4 >> 26));
 }
 if (-8 >> 26 !== -1) {
   $ERROR('#836: -8 >> 26 === -1. Actual: ' + (-8 >> 26));
 }
 if (-16 >> 26 !== -1) {
   $ERROR('#837: -16 >> 26 === -1. Actual: ' + (-16 >> 26));
 }
 if (-32 >> 26 !== -1) {
   $ERROR('#838: -32 >> 26 === -1. Actual: ' + (-32 >> 26));
 }
 if (-64 >> 26 !== -1) {
   $ERROR('#839: -64 >> 26 === -1. Actual: ' + (-64 >> 26));
 }
 if (-128 >> 26 !== -1) {
   $ERROR('#840: -128 >> 26 === -1. Actual: ' + (-128 >> 26));
 }
 if (-256 >> 26 !== -1) {
   $ERROR('#841: -256 >> 26 === -1. Actual: ' + (-256 >> 26));
 }
 if (-512 >> 26 !== -1) {
   $ERROR('#842: -512 >> 26 === -1. Actual: ' + (-512 >> 26));
 }
 if (-1024 >> 26 !== -1) {
   $ERROR('#843: -1024 >> 26 === -1. Actual: ' + (-1024 >> 26));
 }
 if (-2048 >> 26 !== -1) {
   $ERROR('#844: -2048 >> 26 === -1. Actual: ' + (-2048 >> 26));
 }
 if (-4096 >> 26 !== -1) {
   $ERROR('#845: -4096 >> 26 === -1. Actual: ' + (-4096 >> 26));
 }
 if (-8192 >> 26 !== -1) {
   $ERROR('#846: -8192 >> 26 === -1. Actual: ' + (-8192 >> 26));
 }
 if (-16384 >> 26 !== -1) {
   $ERROR('#847: -16384 >> 26 === -1. Actual: ' + (-16384 >> 26));
 }
 if (-32768 >> 26 !== -1) {
   $ERROR('#848: -32768 >> 26 === -1. Actual: ' + (-32768 >> 26));
 }
 if (-65536 >> 26 !== -1) {
   $ERROR('#849: -65536 >> 26 === -1. Actual: ' + (-65536 >> 26));
 }
 if (-131072 >> 26 !== -1) {
   $ERROR('#850: -131072 >> 26 === -1. Actual: ' + (-131072 >> 26));
 }
 if (-262144 >> 26 !== -1) {
   $ERROR('#851: -262144 >> 26 === -1. Actual: ' + (-262144 >> 26));
 }
 if (-524288 >> 26 !== -1) {
   $ERROR('#852: -524288 >> 26 === -1. Actual: ' + (-524288 >> 26));
 }
 if (-1048576 >> 26 !== -1) {
   $ERROR('#853: -1048576 >> 26 === -1. Actual: ' + (-1048576 >> 26));
 }
 if (-2097152 >> 26 !== -1) {
   $ERROR('#854: -2097152 >> 26 === -1. Actual: ' + (-2097152 >> 26));
 }
 if (-4194304 >> 26 !== -1) {
   $ERROR('#855: -4194304 >> 26 === -1. Actual: ' + (-4194304 >> 26));
 }
 if (-8388608 >> 26 !== -1) {
   $ERROR('#856: -8388608 >> 26 === -1. Actual: ' + (-8388608 >> 26));
 }
 if (-16777216 >> 26 !== -1) {
   $ERROR('#857: -16777216 >> 26 === -1. Actual: ' + (-16777216 >> 26));
 }
 if (-33554432 >> 26 !== -1) {
   $ERROR('#858: -33554432 >> 26 === -1. 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 !== -1) {
   $ERROR('#865: -1 >> 27 === -1. Actual: ' + (-1 >> 27));
 }
 if (-2 >> 27 !== -1) {
   $ERROR('#866: -2 >> 27 === -1. Actual: ' + (-2 >> 27));
 }
 if (-4 >> 27 !== -1) {
   $ERROR('#867: -4 >> 27 === -1. Actual: ' + (-4 >> 27));
 }
 if (-8 >> 27 !== -1) {
   $ERROR('#868: -8 >> 27 === -1. Actual: ' + (-8 >> 27));
 }
 if (-16 >> 27 !== -1) {
   $ERROR('#869: -16 >> 27 === -1. Actual: ' + (-16 >> 27));
 }
 if (-32 >> 27 !== -1) {
   $ERROR('#870: -32 >> 27 === -1. Actual: ' + (-32 >> 27));
 }
 if (-64 >> 27 !== -1) {
   $ERROR('#871: -64 >> 27 === -1. Actual: ' + (-64 >> 27));
 }
 if (-128 >> 27 !== -1) {
   $ERROR('#872: -128 >> 27 === -1. Actual: ' + (-128 >> 27));
 }
 if (-256 >> 27 !== -1) {
   $ERROR('#873: -256 >> 27 === -1. Actual: ' + (-256 >> 27));
 }
 if (-512 >> 27 !== -1) {
   $ERROR('#874: -512 >> 27 === -1. Actual: ' + (-512 >> 27));
 }
 if (-1024 >> 27 !== -1) {
   $ERROR('#875: -1024 >> 27 === -1. Actual: ' + (-1024 >> 27));
 }
 if (-2048 >> 27 !== -1) {
   $ERROR('#876: -2048 >> 27 === -1. Actual: ' + (-2048 >> 27));
 }
 if (-4096 >> 27 !== -1) {
   $ERROR('#877: -4096 >> 27 === -1. Actual: ' + (-4096 >> 27));
 }
 if (-8192 >> 27 !== -1) {
   $ERROR('#878: -8192 >> 27 === -1. Actual: ' + (-8192 >> 27));
 }
 if (-16384 >> 27 !== -1) {
   $ERROR('#879: -16384 >> 27 === -1. Actual: ' + (-16384 >> 27));
 }
 if (-32768 >> 27 !== -1) {
   $ERROR('#880: -32768 >> 27 === -1. Actual: ' + (-32768 >> 27));
 }
 if (-65536 >> 27 !== -1) {
   $ERROR('#881: -65536 >> 27 === -1. Actual: ' + (-65536 >> 27));
 }
 if (-131072 >> 27 !== -1) {
   $ERROR('#882: -131072 >> 27 === -1. Actual: ' + (-131072 >> 27));
 }
 if (-262144 >> 27 !== -1) {
   $ERROR('#883: -262144 >> 27 === -1. Actual: ' + (-262144 >> 27));
 }
 if (-524288 >> 27 !== -1) {
   $ERROR('#884: -524288 >> 27 === -1. Actual: ' + (-524288 >> 27));
 }
 if (-1048576 >> 27 !== -1) {
   $ERROR('#885: -1048576 >> 27 === -1. Actual: ' + (-1048576 >> 27));
 }
 if (-2097152 >> 27 !== -1) {
   $ERROR('#886: -2097152 >> 27 === -1. Actual: ' + (-2097152 >> 27));
 }
 if (-4194304 >> 27 !== -1) {
   $ERROR('#887: -4194304 >> 27 === -1. Actual: ' + (-4194304 >> 27));
 }
 if (-8388608 >> 27 !== -1) {
   $ERROR('#888: -8388608 >> 27 === -1. Actual: ' + (-8388608 >> 27));
 }
 if (-16777216 >> 27 !== -1) {
   $ERROR('#889: -16777216 >> 27 === -1. Actual: ' + (-16777216 >> 27));
 }
 if (-33554432 >> 27 !== -1) {
   $ERROR('#890: -33554432 >> 27 === -1. Actual: ' + (-33554432 >> 27));
 }
 if (-67108864 >> 27 !== -1) {
   $ERROR('#891: -67108864 >> 27 === -1. 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 !== -1) {
   $ERROR('#897: -1 >> 28 === -1. Actual: ' + (-1 >> 28));
 }
 if (-2 >> 28 !== -1) {
   $ERROR('#898: -2 >> 28 === -1. Actual: ' + (-2 >> 28));
 }
 if (-4 >> 28 !== -1) {
   $ERROR('#899: -4 >> 28 === -1. Actual: ' + (-4 >> 28));
 }
 if (-8 >> 28 !== -1) {
   $ERROR('#900: -8 >> 28 === -1. Actual: ' + (-8 >> 28));
 }
 if (-16 >> 28 !== -1) {
   $ERROR('#901: -16 >> 28 === -1. Actual: ' + (-16 >> 28));
 }
 if (-32 >> 28 !== -1) {
   $ERROR('#902: -32 >> 28 === -1. Actual: ' + (-32 >> 28));
 }
 if (-64 >> 28 !== -1) {
   $ERROR('#903: -64 >> 28 === -1. Actual: ' + (-64 >> 28));
 }
 if (-128 >> 28 !== -1) {
   $ERROR('#904: -128 >> 28 === -1. Actual: ' + (-128 >> 28));
 }
 if (-256 >> 28 !== -1) {
   $ERROR('#905: -256 >> 28 === -1. Actual: ' + (-256 >> 28));
 }
 if (-512 >> 28 !== -1) {
   $ERROR('#906: -512 >> 28 === -1. Actual: ' + (-512 >> 28));
 }
 if (-1024 >> 28 !== -1) {
   $ERROR('#907: -1024 >> 28 === -1. Actual: ' + (-1024 >> 28));
 }
 if (-2048 >> 28 !== -1) {
   $ERROR('#908: -2048 >> 28 === -1. Actual: ' + (-2048 >> 28));
 }
 if (-4096 >> 28 !== -1) {
   $ERROR('#909: -4096 >> 28 === -1. Actual: ' + (-4096 >> 28));
 }
 if (-8192 >> 28 !== -1) {
   $ERROR('#910: -8192 >> 28 === -1. Actual: ' + (-8192 >> 28));
 }
 if (-16384 >> 28 !== -1) {
   $ERROR('#911: -16384 >> 28 === -1. Actual: ' + (-16384 >> 28));
 }
 if (-32768 >> 28 !== -1) {
   $ERROR('#912: -32768 >> 28 === -1. Actual: ' + (-32768 >> 28));
 }
 if (-65536 >> 28 !== -1) {
   $ERROR('#913: -65536 >> 28 === -1. Actual: ' + (-65536 >> 28));
 }
 if (-131072 >> 28 !== -1) {
   $ERROR('#914: -131072 >> 28 === -1. Actual: ' + (-131072 >> 28));
 }
 if (-262144 >> 28 !== -1) {
   $ERROR('#915: -262144 >> 28 === -1. Actual: ' + (-262144 >> 28));
 }
 if (-524288 >> 28 !== -1) {
   $ERROR('#916: -524288 >> 28 === -1. Actual: ' + (-524288 >> 28));
 }
 if (-1048576 >> 28 !== -1) {
   $ERROR('#917: -1048576 >> 28 === -1. Actual: ' + (-1048576 >> 28));
 }
 if (-2097152 >> 28 !== -1) {
   $ERROR('#918: -2097152 >> 28 === -1. Actual: ' + (-2097152 >> 28));
 }
 if (-4194304 >> 28 !== -1) {
   $ERROR('#919: -4194304 >> 28 === -1. Actual: ' + (-4194304 >> 28));
 }
 if (-8388608 >> 28 !== -1) {
   $ERROR('#920: -8388608 >> 28 === -1. Actual: ' + (-8388608 >> 28));
 }
 if (-16777216 >> 28 !== -1) {
   $ERROR('#921: -16777216 >> 28 === -1. Actual: ' + (-16777216 >> 28));
 }
 if (-33554432 >> 28 !== -1) {
   $ERROR('#922: -33554432 >> 28 === -1. Actual: ' + (-33554432 >> 28));
 }
 if (-67108864 >> 28 !== -1) {
   $ERROR('#923: -67108864 >> 28 === -1. Actual: ' + (-67108864 >> 28));
 }
 if (-134217728 >> 28 !== -1) {
   $ERROR('#924: -134217728 >> 28 === -1. 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 !== -1) {
   $ERROR('#929: -1 >> 29 === -1. Actual: ' + (-1 >> 29));
 }
 if (-2 >> 29 !== -1) {
   $ERROR('#930: -2 >> 29 === -1. Actual: ' + (-2 >> 29));
 }
 if (-4 >> 29 !== -1) {
   $ERROR('#931: -4 >> 29 === -1. Actual: ' + (-4 >> 29));
 }
 if (-8 >> 29 !== -1) {
   $ERROR('#932: -8 >> 29 === -1. Actual: ' + (-8 >> 29));
 }
 if (-16 >> 29 !== -1) {
   $ERROR('#933: -16 >> 29 === -1. Actual: ' + (-16 >> 29));
 }
 if (-32 >> 29 !== -1) {
   $ERROR('#934: -32 >> 29 === -1. Actual: ' + (-32 >> 29));
 }
 if (-64 >> 29 !== -1) {
   $ERROR('#935: -64 >> 29 === -1. Actual: ' + (-64 >> 29));
 }
 if (-128 >> 29 !== -1) {
   $ERROR('#936: -128 >> 29 === -1. Actual: ' + (-128 >> 29));
 }
 if (-256 >> 29 !== -1) {
   $ERROR('#937: -256 >> 29 === -1. Actual: ' + (-256 >> 29));
 }
 if (-512 >> 29 !== -1) {
   $ERROR('#938: -512 >> 29 === -1. Actual: ' + (-512 >> 29));
 }
 if (-1024 >> 29 !== -1) {
   $ERROR('#939: -1024 >> 29 === -1. Actual: ' + (-1024 >> 29));
 }
 if (-2048 >> 29 !== -1) {
   $ERROR('#940: -2048 >> 29 === -1. Actual: ' + (-2048 >> 29));
 }
 if (-4096 >> 29 !== -1) {
   $ERROR('#941: -4096 >> 29 === -1. Actual: ' + (-4096 >> 29));
 }
 if (-8192 >> 29 !== -1) {
   $ERROR('#942: -8192 >> 29 === -1. Actual: ' + (-8192 >> 29));
 }
 if (-16384 >> 29 !== -1) {
   $ERROR('#943: -16384 >> 29 === -1. Actual: ' + (-16384 >> 29));
 }
 if (-32768 >> 29 !== -1) {
   $ERROR('#944: -32768 >> 29 === -1. Actual: ' + (-32768 >> 29));
 }
 if (-65536 >> 29 !== -1) {
   $ERROR('#945: -65536 >> 29 === -1. Actual: ' + (-65536 >> 29));
 }
 if (-131072 >> 29 !== -1) {
   $ERROR('#946: -131072 >> 29 === -1. Actual: ' + (-131072 >> 29));
 }
 if (-262144 >> 29 !== -1) {
   $ERROR('#947: -262144 >> 29 === -1. Actual: ' + (-262144 >> 29));
 }
 if (-524288 >> 29 !== -1) {
   $ERROR('#948: -524288 >> 29 === -1. Actual: ' + (-524288 >> 29));
 }
 if (-1048576 >> 29 !== -1) {
   $ERROR('#949: -1048576 >> 29 === -1. Actual: ' + (-1048576 >> 29));
 }
 if (-2097152 >> 29 !== -1) {
   $ERROR('#950: -2097152 >> 29 === -1. Actual: ' + (-2097152 >> 29));
 }
 if (-4194304 >> 29 !== -1) {
   $ERROR('#951: -4194304 >> 29 === -1. Actual: ' + (-4194304 >> 29));
 }
 if (-8388608 >> 29 !== -1) {
   $ERROR('#952: -8388608 >> 29 === -1. Actual: ' + (-8388608 >> 29));
 }
 if (-16777216 >> 29 !== -1) {
   $ERROR('#953: -16777216 >> 29 === -1. Actual: ' + (-16777216 >> 29));
 }
 if (-33554432 >> 29 !== -1) {
   $ERROR('#954: -33554432 >> 29 === -1. Actual: ' + (-33554432 >> 29));
 }
 if (-67108864 >> 29 !== -1) {
   $ERROR('#955: -67108864 >> 29 === -1. Actual: ' + (-67108864 >> 29));
 }
 if (-134217728 >> 29 !== -1) {
   $ERROR('#956: -134217728 >> 29 === -1. Actual: ' + (-134217728 >> 29));
 }
 if (-268435456 >> 29 !== -1) {
   $ERROR('#957: -268435456 >> 29 === -1. 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 !== -1) {
   $ERROR('#961: -1 >> 30 === -1. Actual: ' + (-1 >> 30));
 }
 if (-2 >> 30 !== -1) {
   $ERROR('#962: -2 >> 30 === -1. Actual: ' + (-2 >> 30));
 }
 if (-4 >> 30 !== -1) {
   $ERROR('#963: -4 >> 30 === -1. Actual: ' + (-4 >> 30));
 }
 if (-8 >> 30 !== -1) {
   $ERROR('#964: -8 >> 30 === -1. Actual: ' + (-8 >> 30));
 }
 if (-16 >> 30 !== -1) {
   $ERROR('#965: -16 >> 30 === -1. Actual: ' + (-16 >> 30));
 }
 if (-32 >> 30 !== -1) {
   $ERROR('#966: -32 >> 30 === -1. Actual: ' + (-32 >> 30));
 }
 if (-64 >> 30 !== -1) {
   $ERROR('#967: -64 >> 30 === -1. Actual: ' + (-64 >> 30));
 }
 if (-128 >> 30 !== -1) {
   $ERROR('#968: -128 >> 30 === -1. Actual: ' + (-128 >> 30));
 }
 if (-256 >> 30 !== -1) {
   $ERROR('#969: -256 >> 30 === -1. Actual: ' + (-256 >> 30));
 }
 if (-512 >> 30 !== -1) {
   $ERROR('#970: -512 >> 30 === -1. Actual: ' + (-512 >> 30));
 }
 if (-1024 >> 30 !== -1) {
   $ERROR('#971: -1024 >> 30 === -1. Actual: ' + (-1024 >> 30));
 }
 if (-2048 >> 30 !== -1) {
   $ERROR('#972: -2048 >> 30 === -1. Actual: ' + (-2048 >> 30));
 }
 if (-4096 >> 30 !== -1) {
   $ERROR('#973: -4096 >> 30 === -1. Actual: ' + (-4096 >> 30));
 }
 if (-8192 >> 30 !== -1) {
   $ERROR('#974: -8192 >> 30 === -1. Actual: ' + (-8192 >> 30));
 }
 if (-16384 >> 30 !== -1) {
   $ERROR('#975: -16384 >> 30 === -1. Actual: ' + (-16384 >> 30));
 }
 if (-32768 >> 30 !== -1) {
   $ERROR('#976: -32768 >> 30 === -1. Actual: ' + (-32768 >> 30));
 }
 if (-65536 >> 30 !== -1) {
   $ERROR('#977: -65536 >> 30 === -1. Actual: ' + (-65536 >> 30));
 }
 if (-131072 >> 30 !== -1) {
   $ERROR('#978: -131072 >> 30 === -1. Actual: ' + (-131072 >> 30));
 }
 if (-262144 >> 30 !== -1) {
   $ERROR('#979: -262144 >> 30 === -1. Actual: ' + (-262144 >> 30));
 }
 if (-524288 >> 30 !== -1) {
   $ERROR('#980: -524288 >> 30 === -1. Actual: ' + (-524288 >> 30));
 }
 if (-1048576 >> 30 !== -1) {
   $ERROR('#981: -1048576 >> 30 === -1. Actual: ' + (-1048576 >> 30));
 }
 if (-2097152 >> 30 !== -1) {
   $ERROR('#982: -2097152 >> 30 === -1. Actual: ' + (-2097152 >> 30));
 }
 if (-4194304 >> 30 !== -1) {
   $ERROR('#983: -4194304 >> 30 === -1. Actual: ' + (-4194304 >> 30));
 }
 if (-8388608 >> 30 !== -1) {
   $ERROR('#984: -8388608 >> 30 === -1. Actual: ' + (-8388608 >> 30));
 }
 if (-16777216 >> 30 !== -1) {
   $ERROR('#985: -16777216 >> 30 === -1. Actual: ' + (-16777216 >> 30));
 }
 if (-33554432 >> 30 !== -1) {
   $ERROR('#986: -33554432 >> 30 === -1. Actual: ' + (-33554432 >> 30));
 }
 if (-67108864 >> 30 !== -1) {
   $ERROR('#987: -67108864 >> 30 === -1. Actual: ' + (-67108864 >> 30));
 }
 if (-134217728 >> 30 !== -1) {
   $ERROR('#988: -134217728 >> 30 === -1. Actual: ' + (-134217728 >> 30));
 }
 if (-268435456 >> 30 !== -1) {
   $ERROR('#989: -268435456 >> 30 === -1. Actual: ' + (-268435456 >> 30));
 }
 if (-536870912 >> 30 !== -1) {
   $ERROR('#990: -536870912 >> 30 === -1. 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 !== -1) {
   $ERROR('#993: -1 >> 31 === -1. Actual: ' + (-1 >> 31));
 }
 if (-2 >> 31 !== -1) {
   $ERROR('#994: -2 >> 31 === -1. Actual: ' + (-2 >> 31));
 }
 if (-4 >> 31 !== -1) {
   $ERROR('#995: -4 >> 31 === -1. Actual: ' + (-4 >> 31));
 }
 if (-8 >> 31 !== -1) {
   $ERROR('#996: -8 >> 31 === -1. Actual: ' + (-8 >> 31));
 }
 if (-16 >> 31 !== -1) {
   $ERROR('#997: -16 >> 31 === -1. Actual: ' + (-16 >> 31));
 }
 if (-32 >> 31 !== -1) {
   $ERROR('#998: -32 >> 31 === -1. Actual: ' + (-32 >> 31));
 }
 if (-64 >> 31 !== -1) {
   $ERROR('#999: -64 >> 31 === -1. Actual: ' + (-64 >> 31));
 }
 if (-128 >> 31 !== -1) {
   $ERROR('#1000: -128 >> 31 === -1. Actual: ' + (-128 >> 31));
 }
 if (-256 >> 31 !== -1) {
   $ERROR('#1001: -256 >> 31 === -1. Actual: ' + (-256 >> 31));
 }
 if (-512 >> 31 !== -1) {
   $ERROR('#1002: -512 >> 31 === -1. Actual: ' + (-512 >> 31));
 }
 if (-1024 >> 31 !== -1) {
   $ERROR('#1003: -1024 >> 31 === -1. Actual: ' + (-1024 >> 31));
 }
 if (-2048 >> 31 !== -1) {
   $ERROR('#1004: -2048 >> 31 === -1. Actual: ' + (-2048 >> 31));
 }
 if (-4096 >> 31 !== -1) {
   $ERROR('#1005: -4096 >> 31 === -1. Actual: ' + (-4096 >> 31));
 }
 if (-8192 >> 31 !== -1) {
   $ERROR('#1006: -8192 >> 31 === -1. Actual: ' + (-8192 >> 31));
 }
 if (-16384 >> 31 !== -1) {
   $ERROR('#1007: -16384 >> 31 === -1. Actual: ' + (-16384 >> 31));
 }
 if (-32768 >> 31 !== -1) {
   $ERROR('#1008: -32768 >> 31 === -1. Actual: ' + (-32768 >> 31));
 }
 if (-65536 >> 31 !== -1) {
   $ERROR('#1009: -65536 >> 31 === -1. Actual: ' + (-65536 >> 31));
 }
 if (-131072 >> 31 !== -1) {
   $ERROR('#1010: -131072 >> 31 === -1. Actual: ' + (-131072 >> 31));
 }
 if (-262144 >> 31 !== -1) {
   $ERROR('#1011: -262144 >> 31 === -1. Actual: ' + (-262144 >> 31));
 }
 if (-524288 >> 31 !== -1) {
   $ERROR('#1012: -524288 >> 31 === -1. Actual: ' + (-524288 >> 31));
 }
 if (-1048576 >> 31 !== -1) {
   $ERROR('#1013: -1048576 >> 31 === -1. Actual: ' + (-1048576 >> 31));
 }
 if (-2097152 >> 31 !== -1) {
   $ERROR('#1014: -2097152 >> 31 === -1. Actual: ' + (-2097152 >> 31));
 }
 if (-4194304 >> 31 !== -1) {
   $ERROR('#1015: -4194304 >> 31 === -1. Actual: ' + (-4194304 >> 31));
 }
 if (-8388608 >> 31 !== -1) {
   $ERROR('#1016: -8388608 >> 31 === -1. Actual: ' + (-8388608 >> 31));
 }
 if (-16777216 >> 31 !== -1) {
   $ERROR('#1017: -16777216 >> 31 === -1. Actual: ' + (-16777216 >> 31));
 }
 if (-33554432 >> 31 !== -1) {
   $ERROR('#1018: -33554432 >> 31 === -1. Actual: ' + (-33554432 >> 31));
 }
 if (-67108864 >> 31 !== -1) {
   $ERROR('#1019: -67108864 >> 31 === -1. Actual: ' + (-67108864 >> 31));
 }
 if (-134217728 >> 31 !== -1) {
   $ERROR('#1020: -134217728 >> 31 === -1. Actual: ' + (-134217728 >> 31));
 }
 if (-268435456 >> 31 !== -1) {
   $ERROR('#1021: -268435456 >> 31 === -1. Actual: ' + (-268435456 >> 31));
 }
 if (-536870912 >> 31 !== -1) {
   $ERROR('#1022: -536870912 >> 31 === -1. Actual: ' + (-536870912 >> 31));
 }
 if (-1073741824 >> 31 !== -1) {
   $ERROR('#1023: -1073741824 >> 31 === -1. Actual: ' + (-1073741824 >> 31));
 }
 if (-2147483648 >> 31 !== -1) {
   $ERROR('#1024: -2147483648 >> 31 === -1. Actual: ' + (-2147483648 >> 31));
 }