// Copyright 2009 the Sputnik authors.  All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.

/*---
info: Check operator x >>> y in distinct points
es5id: 11.7.3_A4_T4
description: ShiftExpression = 2^n - 1, n = 16...31
---*/

//CHECK
 
if (0 >>> 16 !== 0) { 
  $ERROR('#529: 0 >>> 16 === 0. Actual: ' + (0 >>> 16)); 
} 


if (1 >>> 16 !== 0) { 
  $ERROR('#530: 1 >>> 16 === 0. Actual: ' + (1 >>> 16)); 
} 


if (3 >>> 16 !== 0) { 
  $ERROR('#531: 3 >>> 16 === 0. Actual: ' + (3 >>> 16)); 
} 


if (7 >>> 16 !== 0) { 
  $ERROR('#532: 7 >>> 16 === 0. Actual: ' + (7 >>> 16)); 
} 


if (15 >>> 16 !== 0) { 
  $ERROR('#533: 15 >>> 16 === 0. Actual: ' + (15 >>> 16)); 
} 


if (31 >>> 16 !== 0) { 
  $ERROR('#534: 31 >>> 16 === 0. Actual: ' + (31 >>> 16)); 
} 


if (63 >>> 16 !== 0) { 
  $ERROR('#535: 63 >>> 16 === 0. Actual: ' + (63 >>> 16)); 
} 


if (127 >>> 16 !== 0) { 
  $ERROR('#536: 127 >>> 16 === 0. Actual: ' + (127 >>> 16)); 
} 


if (255 >>> 16 !== 0) { 
  $ERROR('#537: 255 >>> 16 === 0. Actual: ' + (255 >>> 16)); 
} 


if (511 >>> 16 !== 0) { 
  $ERROR('#538: 511 >>> 16 === 0. Actual: ' + (511 >>> 16)); 
} 


if (1023 >>> 16 !== 0) { 
  $ERROR('#539: 1023 >>> 16 === 0. Actual: ' + (1023 >>> 16)); 
} 


if (2047 >>> 16 !== 0) { 
  $ERROR('#540: 2047 >>> 16 === 0. Actual: ' + (2047 >>> 16)); 
} 


if (4095 >>> 16 !== 0) { 
  $ERROR('#541: 4095 >>> 16 === 0. Actual: ' + (4095 >>> 16)); 
} 


if (8191 >>> 16 !== 0) { 
  $ERROR('#542: 8191 >>> 16 === 0. Actual: ' + (8191 >>> 16)); 
} 


if (16383 >>> 16 !== 0) { 
  $ERROR('#543: 16383 >>> 16 === 0. Actual: ' + (16383 >>> 16)); 
} 


if (32767 >>> 16 !== 0) { 
  $ERROR('#544: 32767 >>> 16 === 0. Actual: ' + (32767 >>> 16)); 
} 


if (65535 >>> 16 !== 0) { 
  $ERROR('#545: 65535 >>> 16 === 0. Actual: ' + (65535 >>> 16)); 
} 


if (131071 >>> 16 !== 1) { 
  $ERROR('#546: 131071 >>> 16 === 1. Actual: ' + (131071 >>> 16)); 
} 


if (262143 >>> 16 !== 3) { 
  $ERROR('#547: 262143 >>> 16 === 3. Actual: ' + (262143 >>> 16)); 
} 


if (524287 >>> 16 !== 7) { 
  $ERROR('#548: 524287 >>> 16 === 7. Actual: ' + (524287 >>> 16)); 
} 


if (1048575 >>> 16 !== 15) { 
  $ERROR('#549: 1048575 >>> 16 === 15. Actual: ' + (1048575 >>> 16)); 
} 


if (2097151 >>> 16 !== 31) { 
  $ERROR('#550: 2097151 >>> 16 === 31. Actual: ' + (2097151 >>> 16)); 
} 


if (4194303 >>> 16 !== 63) { 
  $ERROR('#551: 4194303 >>> 16 === 63. Actual: ' + (4194303 >>> 16)); 
} 


if (8388607 >>> 16 !== 127) { 
  $ERROR('#552: 8388607 >>> 16 === 127. Actual: ' + (8388607 >>> 16)); 
} 


if (16777215 >>> 16 !== 255) { 
  $ERROR('#553: 16777215 >>> 16 === 255. Actual: ' + (16777215 >>> 16)); 
} 


if (33554431 >>> 16 !== 511) { 
  $ERROR('#554: 33554431 >>> 16 === 511. Actual: ' + (33554431 >>> 16)); 
} 


if (67108863 >>> 16 !== 1023) { 
  $ERROR('#555: 67108863 >>> 16 === 1023. Actual: ' + (67108863 >>> 16)); 
} 


if (134217727 >>> 16 !== 2047) { 
  $ERROR('#556: 134217727 >>> 16 === 2047. Actual: ' + (134217727 >>> 16)); 
} 


if (268435455 >>> 16 !== 4095) { 
  $ERROR('#557: 268435455 >>> 16 === 4095. Actual: ' + (268435455 >>> 16)); 
} 


if (536870911 >>> 16 !== 8191) { 
  $ERROR('#558: 536870911 >>> 16 === 8191. Actual: ' + (536870911 >>> 16)); 
} 


if (1073741823 >>> 16 !== 16383) { 
  $ERROR('#559: 1073741823 >>> 16 === 16383. Actual: ' + (1073741823 >>> 16)); 
} 


if (2147483647 >>> 16 !== 32767) { 
  $ERROR('#560: 2147483647 >>> 16 === 32767. Actual: ' + (2147483647 >>> 16)); 
} 


if (4294967295 >>> 16 !== 65535) { 
  $ERROR('#561: 4294967295 >>> 16 === 65535. Actual: ' + (4294967295 >>> 16)); 
} 


if (0 >>> 17 !== 0) { 
  $ERROR('#562: 0 >>> 17 === 0. Actual: ' + (0 >>> 17)); 
} 


if (1 >>> 17 !== 0) { 
  $ERROR('#563: 1 >>> 17 === 0. Actual: ' + (1 >>> 17)); 
} 


if (3 >>> 17 !== 0) { 
  $ERROR('#564: 3 >>> 17 === 0. Actual: ' + (3 >>> 17)); 
} 


if (7 >>> 17 !== 0) { 
  $ERROR('#565: 7 >>> 17 === 0. Actual: ' + (7 >>> 17)); 
} 


if (15 >>> 17 !== 0) { 
  $ERROR('#566: 15 >>> 17 === 0. Actual: ' + (15 >>> 17)); 
} 


if (31 >>> 17 !== 0) { 
  $ERROR('#567: 31 >>> 17 === 0. Actual: ' + (31 >>> 17)); 
} 


if (63 >>> 17 !== 0) { 
  $ERROR('#568: 63 >>> 17 === 0. Actual: ' + (63 >>> 17)); 
} 


if (127 >>> 17 !== 0) { 
  $ERROR('#569: 127 >>> 17 === 0. Actual: ' + (127 >>> 17)); 
} 


if (255 >>> 17 !== 0) { 
  $ERROR('#570: 255 >>> 17 === 0. Actual: ' + (255 >>> 17)); 
} 


if (511 >>> 17 !== 0) { 
  $ERROR('#571: 511 >>> 17 === 0. Actual: ' + (511 >>> 17)); 
} 


if (1023 >>> 17 !== 0) { 
  $ERROR('#572: 1023 >>> 17 === 0. Actual: ' + (1023 >>> 17)); 
} 


if (2047 >>> 17 !== 0) { 
  $ERROR('#573: 2047 >>> 17 === 0. Actual: ' + (2047 >>> 17)); 
} 


if (4095 >>> 17 !== 0) { 
  $ERROR('#574: 4095 >>> 17 === 0. Actual: ' + (4095 >>> 17)); 
} 


if (8191 >>> 17 !== 0) { 
  $ERROR('#575: 8191 >>> 17 === 0. Actual: ' + (8191 >>> 17)); 
} 


if (16383 >>> 17 !== 0) { 
  $ERROR('#576: 16383 >>> 17 === 0. Actual: ' + (16383 >>> 17)); 
} 


if (32767 >>> 17 !== 0) { 
  $ERROR('#577: 32767 >>> 17 === 0. Actual: ' + (32767 >>> 17)); 
} 


if (65535 >>> 17 !== 0) { 
  $ERROR('#578: 65535 >>> 17 === 0. Actual: ' + (65535 >>> 17)); 
} 


if (131071 >>> 17 !== 0) { 
  $ERROR('#579: 131071 >>> 17 === 0. Actual: ' + (131071 >>> 17)); 
} 


if (262143 >>> 17 !== 1) { 
  $ERROR('#580: 262143 >>> 17 === 1. Actual: ' + (262143 >>> 17)); 
} 


if (524287 >>> 17 !== 3) { 
  $ERROR('#581: 524287 >>> 17 === 3. Actual: ' + (524287 >>> 17)); 
} 


if (1048575 >>> 17 !== 7) { 
  $ERROR('#582: 1048575 >>> 17 === 7. Actual: ' + (1048575 >>> 17)); 
} 


if (2097151 >>> 17 !== 15) { 
  $ERROR('#583: 2097151 >>> 17 === 15. Actual: ' + (2097151 >>> 17)); 
} 


if (4194303 >>> 17 !== 31) { 
  $ERROR('#584: 4194303 >>> 17 === 31. Actual: ' + (4194303 >>> 17)); 
} 


if (8388607 >>> 17 !== 63) { 
  $ERROR('#585: 8388607 >>> 17 === 63. Actual: ' + (8388607 >>> 17)); 
} 


if (16777215 >>> 17 !== 127) { 
  $ERROR('#586: 16777215 >>> 17 === 127. Actual: ' + (16777215 >>> 17)); 
} 


if (33554431 >>> 17 !== 255) { 
  $ERROR('#587: 33554431 >>> 17 === 255. Actual: ' + (33554431 >>> 17)); 
} 


if (67108863 >>> 17 !== 511) { 
  $ERROR('#588: 67108863 >>> 17 === 511. Actual: ' + (67108863 >>> 17)); 
} 


if (134217727 >>> 17 !== 1023) { 
  $ERROR('#589: 134217727 >>> 17 === 1023. Actual: ' + (134217727 >>> 17)); 
} 


if (268435455 >>> 17 !== 2047) { 
  $ERROR('#590: 268435455 >>> 17 === 2047. Actual: ' + (268435455 >>> 17)); 
} 


if (536870911 >>> 17 !== 4095) { 
  $ERROR('#591: 536870911 >>> 17 === 4095. Actual: ' + (536870911 >>> 17)); 
} 


if (1073741823 >>> 17 !== 8191) { 
  $ERROR('#592: 1073741823 >>> 17 === 8191. Actual: ' + (1073741823 >>> 17)); 
} 


if (2147483647 >>> 17 !== 16383) { 
  $ERROR('#593: 2147483647 >>> 17 === 16383. Actual: ' + (2147483647 >>> 17)); 
} 


if (4294967295 >>> 17 !== 32767) { 
  $ERROR('#594: 4294967295 >>> 17 === 32767. Actual: ' + (4294967295 >>> 17)); 
} 


if (0 >>> 18 !== 0) { 
  $ERROR('#595: 0 >>> 18 === 0. Actual: ' + (0 >>> 18)); 
} 


if (1 >>> 18 !== 0) { 
  $ERROR('#596: 1 >>> 18 === 0. Actual: ' + (1 >>> 18)); 
} 


if (3 >>> 18 !== 0) { 
  $ERROR('#597: 3 >>> 18 === 0. Actual: ' + (3 >>> 18)); 
} 


if (7 >>> 18 !== 0) { 
  $ERROR('#598: 7 >>> 18 === 0. Actual: ' + (7 >>> 18)); 
} 


if (15 >>> 18 !== 0) { 
  $ERROR('#599: 15 >>> 18 === 0. Actual: ' + (15 >>> 18)); 
} 


if (31 >>> 18 !== 0) { 
  $ERROR('#600: 31 >>> 18 === 0. Actual: ' + (31 >>> 18)); 
} 


if (63 >>> 18 !== 0) { 
  $ERROR('#601: 63 >>> 18 === 0. Actual: ' + (63 >>> 18)); 
} 


if (127 >>> 18 !== 0) { 
  $ERROR('#602: 127 >>> 18 === 0. Actual: ' + (127 >>> 18)); 
} 


if (255 >>> 18 !== 0) { 
  $ERROR('#603: 255 >>> 18 === 0. Actual: ' + (255 >>> 18)); 
} 


if (511 >>> 18 !== 0) { 
  $ERROR('#604: 511 >>> 18 === 0. Actual: ' + (511 >>> 18)); 
} 


if (1023 >>> 18 !== 0) { 
  $ERROR('#605: 1023 >>> 18 === 0. Actual: ' + (1023 >>> 18)); 
} 


if (2047 >>> 18 !== 0) { 
  $ERROR('#606: 2047 >>> 18 === 0. Actual: ' + (2047 >>> 18)); 
} 


if (4095 >>> 18 !== 0) { 
  $ERROR('#607: 4095 >>> 18 === 0. Actual: ' + (4095 >>> 18)); 
} 


if (8191 >>> 18 !== 0) { 
  $ERROR('#608: 8191 >>> 18 === 0. Actual: ' + (8191 >>> 18)); 
} 


if (16383 >>> 18 !== 0) { 
  $ERROR('#609: 16383 >>> 18 === 0. Actual: ' + (16383 >>> 18)); 
} 


if (32767 >>> 18 !== 0) { 
  $ERROR('#610: 32767 >>> 18 === 0. Actual: ' + (32767 >>> 18)); 
} 


if (65535 >>> 18 !== 0) { 
  $ERROR('#611: 65535 >>> 18 === 0. Actual: ' + (65535 >>> 18)); 
} 


if (131071 >>> 18 !== 0) { 
  $ERROR('#612: 131071 >>> 18 === 0. Actual: ' + (131071 >>> 18)); 
} 


if (262143 >>> 18 !== 0) { 
  $ERROR('#613: 262143 >>> 18 === 0. Actual: ' + (262143 >>> 18)); 
} 


if (524287 >>> 18 !== 1) { 
  $ERROR('#614: 524287 >>> 18 === 1. Actual: ' + (524287 >>> 18)); 
} 


if (1048575 >>> 18 !== 3) { 
  $ERROR('#615: 1048575 >>> 18 === 3. Actual: ' + (1048575 >>> 18)); 
} 


if (2097151 >>> 18 !== 7) { 
  $ERROR('#616: 2097151 >>> 18 === 7. Actual: ' + (2097151 >>> 18)); 
} 


if (4194303 >>> 18 !== 15) { 
  $ERROR('#617: 4194303 >>> 18 === 15. Actual: ' + (4194303 >>> 18)); 
} 


if (8388607 >>> 18 !== 31) { 
  $ERROR('#618: 8388607 >>> 18 === 31. Actual: ' + (8388607 >>> 18)); 
} 


if (16777215 >>> 18 !== 63) { 
  $ERROR('#619: 16777215 >>> 18 === 63. Actual: ' + (16777215 >>> 18)); 
} 


if (33554431 >>> 18 !== 127) { 
  $ERROR('#620: 33554431 >>> 18 === 127. Actual: ' + (33554431 >>> 18)); 
} 


if (67108863 >>> 18 !== 255) { 
  $ERROR('#621: 67108863 >>> 18 === 255. Actual: ' + (67108863 >>> 18)); 
} 


if (134217727 >>> 18 !== 511) { 
  $ERROR('#622: 134217727 >>> 18 === 511. Actual: ' + (134217727 >>> 18)); 
} 


if (268435455 >>> 18 !== 1023) { 
  $ERROR('#623: 268435455 >>> 18 === 1023. Actual: ' + (268435455 >>> 18)); 
} 


if (536870911 >>> 18 !== 2047) { 
  $ERROR('#624: 536870911 >>> 18 === 2047. Actual: ' + (536870911 >>> 18)); 
} 


if (1073741823 >>> 18 !== 4095) { 
  $ERROR('#625: 1073741823 >>> 18 === 4095. Actual: ' + (1073741823 >>> 18)); 
} 


if (2147483647 >>> 18 !== 8191) { 
  $ERROR('#626: 2147483647 >>> 18 === 8191. Actual: ' + (2147483647 >>> 18)); 
} 


if (4294967295 >>> 18 !== 16383) { 
  $ERROR('#627: 4294967295 >>> 18 === 16383. Actual: ' + (4294967295 >>> 18)); 
} 


if (0 >>> 19 !== 0) { 
  $ERROR('#628: 0 >>> 19 === 0. Actual: ' + (0 >>> 19)); 
} 


if (1 >>> 19 !== 0) { 
  $ERROR('#629: 1 >>> 19 === 0. Actual: ' + (1 >>> 19)); 
} 


if (3 >>> 19 !== 0) { 
  $ERROR('#630: 3 >>> 19 === 0. Actual: ' + (3 >>> 19)); 
} 


if (7 >>> 19 !== 0) { 
  $ERROR('#631: 7 >>> 19 === 0. Actual: ' + (7 >>> 19)); 
} 


if (15 >>> 19 !== 0) { 
  $ERROR('#632: 15 >>> 19 === 0. Actual: ' + (15 >>> 19)); 
} 


if (31 >>> 19 !== 0) { 
  $ERROR('#633: 31 >>> 19 === 0. Actual: ' + (31 >>> 19)); 
} 


if (63 >>> 19 !== 0) { 
  $ERROR('#634: 63 >>> 19 === 0. Actual: ' + (63 >>> 19)); 
} 


if (127 >>> 19 !== 0) { 
  $ERROR('#635: 127 >>> 19 === 0. Actual: ' + (127 >>> 19)); 
} 


if (255 >>> 19 !== 0) { 
  $ERROR('#636: 255 >>> 19 === 0. Actual: ' + (255 >>> 19)); 
} 


if (511 >>> 19 !== 0) { 
  $ERROR('#637: 511 >>> 19 === 0. Actual: ' + (511 >>> 19)); 
} 


if (1023 >>> 19 !== 0) { 
  $ERROR('#638: 1023 >>> 19 === 0. Actual: ' + (1023 >>> 19)); 
} 


if (2047 >>> 19 !== 0) { 
  $ERROR('#639: 2047 >>> 19 === 0. Actual: ' + (2047 >>> 19)); 
} 


if (4095 >>> 19 !== 0) { 
  $ERROR('#640: 4095 >>> 19 === 0. Actual: ' + (4095 >>> 19)); 
} 


if (8191 >>> 19 !== 0) { 
  $ERROR('#641: 8191 >>> 19 === 0. Actual: ' + (8191 >>> 19)); 
} 


if (16383 >>> 19 !== 0) { 
  $ERROR('#642: 16383 >>> 19 === 0. Actual: ' + (16383 >>> 19)); 
} 


if (32767 >>> 19 !== 0) { 
  $ERROR('#643: 32767 >>> 19 === 0. Actual: ' + (32767 >>> 19)); 
} 


if (65535 >>> 19 !== 0) { 
  $ERROR('#644: 65535 >>> 19 === 0. Actual: ' + (65535 >>> 19)); 
} 


if (131071 >>> 19 !== 0) { 
  $ERROR('#645: 131071 >>> 19 === 0. Actual: ' + (131071 >>> 19)); 
} 


if (262143 >>> 19 !== 0) { 
  $ERROR('#646: 262143 >>> 19 === 0. Actual: ' + (262143 >>> 19)); 
} 


if (524287 >>> 19 !== 0) { 
  $ERROR('#647: 524287 >>> 19 === 0. Actual: ' + (524287 >>> 19)); 
} 


if (1048575 >>> 19 !== 1) { 
  $ERROR('#648: 1048575 >>> 19 === 1. Actual: ' + (1048575 >>> 19)); 
} 


if (2097151 >>> 19 !== 3) { 
  $ERROR('#649: 2097151 >>> 19 === 3. Actual: ' + (2097151 >>> 19)); 
} 


if (4194303 >>> 19 !== 7) { 
  $ERROR('#650: 4194303 >>> 19 === 7. Actual: ' + (4194303 >>> 19)); 
} 


if (8388607 >>> 19 !== 15) { 
  $ERROR('#651: 8388607 >>> 19 === 15. Actual: ' + (8388607 >>> 19)); 
} 


if (16777215 >>> 19 !== 31) { 
  $ERROR('#652: 16777215 >>> 19 === 31. Actual: ' + (16777215 >>> 19)); 
} 


if (33554431 >>> 19 !== 63) { 
  $ERROR('#653: 33554431 >>> 19 === 63. Actual: ' + (33554431 >>> 19)); 
} 


if (67108863 >>> 19 !== 127) { 
  $ERROR('#654: 67108863 >>> 19 === 127. Actual: ' + (67108863 >>> 19)); 
} 


if (134217727 >>> 19 !== 255) { 
  $ERROR('#655: 134217727 >>> 19 === 255. Actual: ' + (134217727 >>> 19)); 
} 


if (268435455 >>> 19 !== 511) { 
  $ERROR('#656: 268435455 >>> 19 === 511. Actual: ' + (268435455 >>> 19)); 
} 


if (536870911 >>> 19 !== 1023) { 
  $ERROR('#657: 536870911 >>> 19 === 1023. Actual: ' + (536870911 >>> 19)); 
} 


if (1073741823 >>> 19 !== 2047) { 
  $ERROR('#658: 1073741823 >>> 19 === 2047. Actual: ' + (1073741823 >>> 19)); 
} 


if (2147483647 >>> 19 !== 4095) { 
  $ERROR('#659: 2147483647 >>> 19 === 4095. Actual: ' + (2147483647 >>> 19)); 
} 


if (4294967295 >>> 19 !== 8191) { 
  $ERROR('#660: 4294967295 >>> 19 === 8191. Actual: ' + (4294967295 >>> 19)); 
} 


if (0 >>> 20 !== 0) { 
  $ERROR('#661: 0 >>> 20 === 0. Actual: ' + (0 >>> 20)); 
} 


if (1 >>> 20 !== 0) { 
  $ERROR('#662: 1 >>> 20 === 0. Actual: ' + (1 >>> 20)); 
} 


if (3 >>> 20 !== 0) { 
  $ERROR('#663: 3 >>> 20 === 0. Actual: ' + (3 >>> 20)); 
} 


if (7 >>> 20 !== 0) { 
  $ERROR('#664: 7 >>> 20 === 0. Actual: ' + (7 >>> 20)); 
} 


if (15 >>> 20 !== 0) { 
  $ERROR('#665: 15 >>> 20 === 0. Actual: ' + (15 >>> 20)); 
} 


if (31 >>> 20 !== 0) { 
  $ERROR('#666: 31 >>> 20 === 0. Actual: ' + (31 >>> 20)); 
} 


if (63 >>> 20 !== 0) { 
  $ERROR('#667: 63 >>> 20 === 0. Actual: ' + (63 >>> 20)); 
} 


if (127 >>> 20 !== 0) { 
  $ERROR('#668: 127 >>> 20 === 0. Actual: ' + (127 >>> 20)); 
} 


if (255 >>> 20 !== 0) { 
  $ERROR('#669: 255 >>> 20 === 0. Actual: ' + (255 >>> 20)); 
} 


if (511 >>> 20 !== 0) { 
  $ERROR('#670: 511 >>> 20 === 0. Actual: ' + (511 >>> 20)); 
} 


if (1023 >>> 20 !== 0) { 
  $ERROR('#671: 1023 >>> 20 === 0. Actual: ' + (1023 >>> 20)); 
} 


if (2047 >>> 20 !== 0) { 
  $ERROR('#672: 2047 >>> 20 === 0. Actual: ' + (2047 >>> 20)); 
} 


if (4095 >>> 20 !== 0) { 
  $ERROR('#673: 4095 >>> 20 === 0. Actual: ' + (4095 >>> 20)); 
} 


if (8191 >>> 20 !== 0) { 
  $ERROR('#674: 8191 >>> 20 === 0. Actual: ' + (8191 >>> 20)); 
} 


if (16383 >>> 20 !== 0) { 
  $ERROR('#675: 16383 >>> 20 === 0. Actual: ' + (16383 >>> 20)); 
} 


if (32767 >>> 20 !== 0) { 
  $ERROR('#676: 32767 >>> 20 === 0. Actual: ' + (32767 >>> 20)); 
} 


if (65535 >>> 20 !== 0) { 
  $ERROR('#677: 65535 >>> 20 === 0. Actual: ' + (65535 >>> 20)); 
} 


if (131071 >>> 20 !== 0) { 
  $ERROR('#678: 131071 >>> 20 === 0. Actual: ' + (131071 >>> 20)); 
} 


if (262143 >>> 20 !== 0) { 
  $ERROR('#679: 262143 >>> 20 === 0. Actual: ' + (262143 >>> 20)); 
} 


if (524287 >>> 20 !== 0) { 
  $ERROR('#680: 524287 >>> 20 === 0. Actual: ' + (524287 >>> 20)); 
} 


if (1048575 >>> 20 !== 0) { 
  $ERROR('#681: 1048575 >>> 20 === 0. Actual: ' + (1048575 >>> 20)); 
} 


if (2097151 >>> 20 !== 1) { 
  $ERROR('#682: 2097151 >>> 20 === 1. Actual: ' + (2097151 >>> 20)); 
} 


if (4194303 >>> 20 !== 3) { 
  $ERROR('#683: 4194303 >>> 20 === 3. Actual: ' + (4194303 >>> 20)); 
} 


if (8388607 >>> 20 !== 7) { 
  $ERROR('#684: 8388607 >>> 20 === 7. Actual: ' + (8388607 >>> 20)); 
} 


if (16777215 >>> 20 !== 15) { 
  $ERROR('#685: 16777215 >>> 20 === 15. Actual: ' + (16777215 >>> 20)); 
} 


if (33554431 >>> 20 !== 31) { 
  $ERROR('#686: 33554431 >>> 20 === 31. Actual: ' + (33554431 >>> 20)); 
} 


if (67108863 >>> 20 !== 63) { 
  $ERROR('#687: 67108863 >>> 20 === 63. Actual: ' + (67108863 >>> 20)); 
} 


if (134217727 >>> 20 !== 127) { 
  $ERROR('#688: 134217727 >>> 20 === 127. Actual: ' + (134217727 >>> 20)); 
} 


if (268435455 >>> 20 !== 255) { 
  $ERROR('#689: 268435455 >>> 20 === 255. Actual: ' + (268435455 >>> 20)); 
} 


if (536870911 >>> 20 !== 511) { 
  $ERROR('#690: 536870911 >>> 20 === 511. Actual: ' + (536870911 >>> 20)); 
} 


if (1073741823 >>> 20 !== 1023) { 
  $ERROR('#691: 1073741823 >>> 20 === 1023. Actual: ' + (1073741823 >>> 20)); 
} 


if (2147483647 >>> 20 !== 2047) { 
  $ERROR('#692: 2147483647 >>> 20 === 2047. Actual: ' + (2147483647 >>> 20)); 
} 


if (4294967295 >>> 20 !== 4095) { 
  $ERROR('#693: 4294967295 >>> 20 === 4095. Actual: ' + (4294967295 >>> 20)); 
} 


if (0 >>> 21 !== 0) { 
  $ERROR('#694: 0 >>> 21 === 0. Actual: ' + (0 >>> 21)); 
} 


if (1 >>> 21 !== 0) { 
  $ERROR('#695: 1 >>> 21 === 0. Actual: ' + (1 >>> 21)); 
} 


if (3 >>> 21 !== 0) { 
  $ERROR('#696: 3 >>> 21 === 0. Actual: ' + (3 >>> 21)); 
} 


if (7 >>> 21 !== 0) { 
  $ERROR('#697: 7 >>> 21 === 0. Actual: ' + (7 >>> 21)); 
} 


if (15 >>> 21 !== 0) { 
  $ERROR('#698: 15 >>> 21 === 0. Actual: ' + (15 >>> 21)); 
} 


if (31 >>> 21 !== 0) { 
  $ERROR('#699: 31 >>> 21 === 0. Actual: ' + (31 >>> 21)); 
} 


if (63 >>> 21 !== 0) { 
  $ERROR('#700: 63 >>> 21 === 0. Actual: ' + (63 >>> 21)); 
} 


if (127 >>> 21 !== 0) { 
  $ERROR('#701: 127 >>> 21 === 0. Actual: ' + (127 >>> 21)); 
} 


if (255 >>> 21 !== 0) { 
  $ERROR('#702: 255 >>> 21 === 0. Actual: ' + (255 >>> 21)); 
} 


if (511 >>> 21 !== 0) { 
  $ERROR('#703: 511 >>> 21 === 0. Actual: ' + (511 >>> 21)); 
} 


if (1023 >>> 21 !== 0) { 
  $ERROR('#704: 1023 >>> 21 === 0. Actual: ' + (1023 >>> 21)); 
} 


if (2047 >>> 21 !== 0) { 
  $ERROR('#705: 2047 >>> 21 === 0. Actual: ' + (2047 >>> 21)); 
} 


if (4095 >>> 21 !== 0) { 
  $ERROR('#706: 4095 >>> 21 === 0. Actual: ' + (4095 >>> 21)); 
} 


if (8191 >>> 21 !== 0) { 
  $ERROR('#707: 8191 >>> 21 === 0. Actual: ' + (8191 >>> 21)); 
} 


if (16383 >>> 21 !== 0) { 
  $ERROR('#708: 16383 >>> 21 === 0. Actual: ' + (16383 >>> 21)); 
} 


if (32767 >>> 21 !== 0) { 
  $ERROR('#709: 32767 >>> 21 === 0. Actual: ' + (32767 >>> 21)); 
} 


if (65535 >>> 21 !== 0) { 
  $ERROR('#710: 65535 >>> 21 === 0. Actual: ' + (65535 >>> 21)); 
} 


if (131071 >>> 21 !== 0) { 
  $ERROR('#711: 131071 >>> 21 === 0. Actual: ' + (131071 >>> 21)); 
} 


if (262143 >>> 21 !== 0) { 
  $ERROR('#712: 262143 >>> 21 === 0. Actual: ' + (262143 >>> 21)); 
} 


if (524287 >>> 21 !== 0) { 
  $ERROR('#713: 524287 >>> 21 === 0. Actual: ' + (524287 >>> 21)); 
} 


if (1048575 >>> 21 !== 0) { 
  $ERROR('#714: 1048575 >>> 21 === 0. Actual: ' + (1048575 >>> 21)); 
} 


if (2097151 >>> 21 !== 0) { 
  $ERROR('#715: 2097151 >>> 21 === 0. Actual: ' + (2097151 >>> 21)); 
} 


if (4194303 >>> 21 !== 1) { 
  $ERROR('#716: 4194303 >>> 21 === 1. Actual: ' + (4194303 >>> 21)); 
} 


if (8388607 >>> 21 !== 3) { 
  $ERROR('#717: 8388607 >>> 21 === 3. Actual: ' + (8388607 >>> 21)); 
} 


if (16777215 >>> 21 !== 7) { 
  $ERROR('#718: 16777215 >>> 21 === 7. Actual: ' + (16777215 >>> 21)); 
} 


if (33554431 >>> 21 !== 15) { 
  $ERROR('#719: 33554431 >>> 21 === 15. Actual: ' + (33554431 >>> 21)); 
} 


if (67108863 >>> 21 !== 31) { 
  $ERROR('#720: 67108863 >>> 21 === 31. Actual: ' + (67108863 >>> 21)); 
} 


if (134217727 >>> 21 !== 63) { 
  $ERROR('#721: 134217727 >>> 21 === 63. Actual: ' + (134217727 >>> 21)); 
} 


if (268435455 >>> 21 !== 127) { 
  $ERROR('#722: 268435455 >>> 21 === 127. Actual: ' + (268435455 >>> 21)); 
} 


if (536870911 >>> 21 !== 255) { 
  $ERROR('#723: 536870911 >>> 21 === 255. Actual: ' + (536870911 >>> 21)); 
} 


if (1073741823 >>> 21 !== 511) { 
  $ERROR('#724: 1073741823 >>> 21 === 511. Actual: ' + (1073741823 >>> 21)); 
} 


if (2147483647 >>> 21 !== 1023) { 
  $ERROR('#725: 2147483647 >>> 21 === 1023. Actual: ' + (2147483647 >>> 21)); 
} 


if (4294967295 >>> 21 !== 2047) { 
  $ERROR('#726: 4294967295 >>> 21 === 2047. Actual: ' + (4294967295 >>> 21)); 
} 


if (0 >>> 22 !== 0) { 
  $ERROR('#727: 0 >>> 22 === 0. Actual: ' + (0 >>> 22)); 
} 


if (1 >>> 22 !== 0) { 
  $ERROR('#728: 1 >>> 22 === 0. Actual: ' + (1 >>> 22)); 
} 


if (3 >>> 22 !== 0) { 
  $ERROR('#729: 3 >>> 22 === 0. Actual: ' + (3 >>> 22)); 
} 


if (7 >>> 22 !== 0) { 
  $ERROR('#730: 7 >>> 22 === 0. Actual: ' + (7 >>> 22)); 
} 


if (15 >>> 22 !== 0) { 
  $ERROR('#731: 15 >>> 22 === 0. Actual: ' + (15 >>> 22)); 
} 


if (31 >>> 22 !== 0) { 
  $ERROR('#732: 31 >>> 22 === 0. Actual: ' + (31 >>> 22)); 
} 


if (63 >>> 22 !== 0) { 
  $ERROR('#733: 63 >>> 22 === 0. Actual: ' + (63 >>> 22)); 
} 


if (127 >>> 22 !== 0) { 
  $ERROR('#734: 127 >>> 22 === 0. Actual: ' + (127 >>> 22)); 
} 


if (255 >>> 22 !== 0) { 
  $ERROR('#735: 255 >>> 22 === 0. Actual: ' + (255 >>> 22)); 
} 


if (511 >>> 22 !== 0) { 
  $ERROR('#736: 511 >>> 22 === 0. Actual: ' + (511 >>> 22)); 
} 


if (1023 >>> 22 !== 0) { 
  $ERROR('#737: 1023 >>> 22 === 0. Actual: ' + (1023 >>> 22)); 
} 


if (2047 >>> 22 !== 0) { 
  $ERROR('#738: 2047 >>> 22 === 0. Actual: ' + (2047 >>> 22)); 
} 


if (4095 >>> 22 !== 0) { 
  $ERROR('#739: 4095 >>> 22 === 0. Actual: ' + (4095 >>> 22)); 
} 


if (8191 >>> 22 !== 0) { 
  $ERROR('#740: 8191 >>> 22 === 0. Actual: ' + (8191 >>> 22)); 
} 


if (16383 >>> 22 !== 0) { 
  $ERROR('#741: 16383 >>> 22 === 0. Actual: ' + (16383 >>> 22)); 
} 


if (32767 >>> 22 !== 0) { 
  $ERROR('#742: 32767 >>> 22 === 0. Actual: ' + (32767 >>> 22)); 
} 


if (65535 >>> 22 !== 0) { 
  $ERROR('#743: 65535 >>> 22 === 0. Actual: ' + (65535 >>> 22)); 
} 


if (131071 >>> 22 !== 0) { 
  $ERROR('#744: 131071 >>> 22 === 0. Actual: ' + (131071 >>> 22)); 
} 


if (262143 >>> 22 !== 0) { 
  $ERROR('#745: 262143 >>> 22 === 0. Actual: ' + (262143 >>> 22)); 
} 


if (524287 >>> 22 !== 0) { 
  $ERROR('#746: 524287 >>> 22 === 0. Actual: ' + (524287 >>> 22)); 
} 


if (1048575 >>> 22 !== 0) { 
  $ERROR('#747: 1048575 >>> 22 === 0. Actual: ' + (1048575 >>> 22)); 
} 


if (2097151 >>> 22 !== 0) { 
  $ERROR('#748: 2097151 >>> 22 === 0. Actual: ' + (2097151 >>> 22)); 
} 


if (4194303 >>> 22 !== 0) { 
  $ERROR('#749: 4194303 >>> 22 === 0. Actual: ' + (4194303 >>> 22)); 
} 


if (8388607 >>> 22 !== 1) { 
  $ERROR('#750: 8388607 >>> 22 === 1. Actual: ' + (8388607 >>> 22)); 
} 


if (16777215 >>> 22 !== 3) { 
  $ERROR('#751: 16777215 >>> 22 === 3. Actual: ' + (16777215 >>> 22)); 
} 


if (33554431 >>> 22 !== 7) { 
  $ERROR('#752: 33554431 >>> 22 === 7. Actual: ' + (33554431 >>> 22)); 
} 


if (67108863 >>> 22 !== 15) { 
  $ERROR('#753: 67108863 >>> 22 === 15. Actual: ' + (67108863 >>> 22)); 
} 


if (134217727 >>> 22 !== 31) { 
  $ERROR('#754: 134217727 >>> 22 === 31. Actual: ' + (134217727 >>> 22)); 
} 


if (268435455 >>> 22 !== 63) { 
  $ERROR('#755: 268435455 >>> 22 === 63. Actual: ' + (268435455 >>> 22)); 
} 


if (536870911 >>> 22 !== 127) { 
  $ERROR('#756: 536870911 >>> 22 === 127. Actual: ' + (536870911 >>> 22)); 
} 


if (1073741823 >>> 22 !== 255) { 
  $ERROR('#757: 1073741823 >>> 22 === 255. Actual: ' + (1073741823 >>> 22)); 
} 


if (2147483647 >>> 22 !== 511) { 
  $ERROR('#758: 2147483647 >>> 22 === 511. Actual: ' + (2147483647 >>> 22)); 
} 


if (4294967295 >>> 22 !== 1023) { 
  $ERROR('#759: 4294967295 >>> 22 === 1023. Actual: ' + (4294967295 >>> 22)); 
} 


if (0 >>> 23 !== 0) { 
  $ERROR('#760: 0 >>> 23 === 0. Actual: ' + (0 >>> 23)); 
} 


if (1 >>> 23 !== 0) { 
  $ERROR('#761: 1 >>> 23 === 0. Actual: ' + (1 >>> 23)); 
} 


if (3 >>> 23 !== 0) { 
  $ERROR('#762: 3 >>> 23 === 0. Actual: ' + (3 >>> 23)); 
} 


if (7 >>> 23 !== 0) { 
  $ERROR('#763: 7 >>> 23 === 0. Actual: ' + (7 >>> 23)); 
} 


if (15 >>> 23 !== 0) { 
  $ERROR('#764: 15 >>> 23 === 0. Actual: ' + (15 >>> 23)); 
} 


if (31 >>> 23 !== 0) { 
  $ERROR('#765: 31 >>> 23 === 0. Actual: ' + (31 >>> 23)); 
} 


if (63 >>> 23 !== 0) { 
  $ERROR('#766: 63 >>> 23 === 0. Actual: ' + (63 >>> 23)); 
} 


if (127 >>> 23 !== 0) { 
  $ERROR('#767: 127 >>> 23 === 0. Actual: ' + (127 >>> 23)); 
} 


if (255 >>> 23 !== 0) { 
  $ERROR('#768: 255 >>> 23 === 0. Actual: ' + (255 >>> 23)); 
} 


if (511 >>> 23 !== 0) { 
  $ERROR('#769: 511 >>> 23 === 0. Actual: ' + (511 >>> 23)); 
} 


if (1023 >>> 23 !== 0) { 
  $ERROR('#770: 1023 >>> 23 === 0. Actual: ' + (1023 >>> 23)); 
} 


if (2047 >>> 23 !== 0) { 
  $ERROR('#771: 2047 >>> 23 === 0. Actual: ' + (2047 >>> 23)); 
} 


if (4095 >>> 23 !== 0) { 
  $ERROR('#772: 4095 >>> 23 === 0. Actual: ' + (4095 >>> 23)); 
} 


if (8191 >>> 23 !== 0) { 
  $ERROR('#773: 8191 >>> 23 === 0. Actual: ' + (8191 >>> 23)); 
} 


if (16383 >>> 23 !== 0) { 
  $ERROR('#774: 16383 >>> 23 === 0. Actual: ' + (16383 >>> 23)); 
} 


if (32767 >>> 23 !== 0) { 
  $ERROR('#775: 32767 >>> 23 === 0. Actual: ' + (32767 >>> 23)); 
} 


if (65535 >>> 23 !== 0) { 
  $ERROR('#776: 65535 >>> 23 === 0. Actual: ' + (65535 >>> 23)); 
} 


if (131071 >>> 23 !== 0) { 
  $ERROR('#777: 131071 >>> 23 === 0. Actual: ' + (131071 >>> 23)); 
} 


if (262143 >>> 23 !== 0) { 
  $ERROR('#778: 262143 >>> 23 === 0. Actual: ' + (262143 >>> 23)); 
} 


if (524287 >>> 23 !== 0) { 
  $ERROR('#779: 524287 >>> 23 === 0. Actual: ' + (524287 >>> 23)); 
} 


if (1048575 >>> 23 !== 0) { 
  $ERROR('#780: 1048575 >>> 23 === 0. Actual: ' + (1048575 >>> 23)); 
} 


if (2097151 >>> 23 !== 0) { 
  $ERROR('#781: 2097151 >>> 23 === 0. Actual: ' + (2097151 >>> 23)); 
} 


if (4194303 >>> 23 !== 0) { 
  $ERROR('#782: 4194303 >>> 23 === 0. Actual: ' + (4194303 >>> 23)); 
} 


if (8388607 >>> 23 !== 0) { 
  $ERROR('#783: 8388607 >>> 23 === 0. Actual: ' + (8388607 >>> 23)); 
} 


if (16777215 >>> 23 !== 1) { 
  $ERROR('#784: 16777215 >>> 23 === 1. Actual: ' + (16777215 >>> 23)); 
} 


if (33554431 >>> 23 !== 3) { 
  $ERROR('#785: 33554431 >>> 23 === 3. Actual: ' + (33554431 >>> 23)); 
} 


if (67108863 >>> 23 !== 7) { 
  $ERROR('#786: 67108863 >>> 23 === 7. Actual: ' + (67108863 >>> 23)); 
} 


if (134217727 >>> 23 !== 15) { 
  $ERROR('#787: 134217727 >>> 23 === 15. Actual: ' + (134217727 >>> 23)); 
} 


if (268435455 >>> 23 !== 31) { 
  $ERROR('#788: 268435455 >>> 23 === 31. Actual: ' + (268435455 >>> 23)); 
} 


if (536870911 >>> 23 !== 63) { 
  $ERROR('#789: 536870911 >>> 23 === 63. Actual: ' + (536870911 >>> 23)); 
} 


if (1073741823 >>> 23 !== 127) { 
  $ERROR('#790: 1073741823 >>> 23 === 127. Actual: ' + (1073741823 >>> 23)); 
} 


if (2147483647 >>> 23 !== 255) { 
  $ERROR('#791: 2147483647 >>> 23 === 255. Actual: ' + (2147483647 >>> 23)); 
} 


if (4294967295 >>> 23 !== 511) { 
  $ERROR('#792: 4294967295 >>> 23 === 511. Actual: ' + (4294967295 >>> 23)); 
} 


if (0 >>> 24 !== 0) { 
  $ERROR('#793: 0 >>> 24 === 0. Actual: ' + (0 >>> 24)); 
} 


if (1 >>> 24 !== 0) { 
  $ERROR('#794: 1 >>> 24 === 0. Actual: ' + (1 >>> 24)); 
} 


if (3 >>> 24 !== 0) { 
  $ERROR('#795: 3 >>> 24 === 0. Actual: ' + (3 >>> 24)); 
} 


if (7 >>> 24 !== 0) { 
  $ERROR('#796: 7 >>> 24 === 0. Actual: ' + (7 >>> 24)); 
} 


if (15 >>> 24 !== 0) { 
  $ERROR('#797: 15 >>> 24 === 0. Actual: ' + (15 >>> 24)); 
} 


if (31 >>> 24 !== 0) { 
  $ERROR('#798: 31 >>> 24 === 0. Actual: ' + (31 >>> 24)); 
} 


if (63 >>> 24 !== 0) { 
  $ERROR('#799: 63 >>> 24 === 0. Actual: ' + (63 >>> 24)); 
} 


if (127 >>> 24 !== 0) { 
  $ERROR('#800: 127 >>> 24 === 0. Actual: ' + (127 >>> 24)); 
} 


if (255 >>> 24 !== 0) { 
  $ERROR('#801: 255 >>> 24 === 0. Actual: ' + (255 >>> 24)); 
} 


if (511 >>> 24 !== 0) { 
  $ERROR('#802: 511 >>> 24 === 0. Actual: ' + (511 >>> 24)); 
} 


if (1023 >>> 24 !== 0) { 
  $ERROR('#803: 1023 >>> 24 === 0. Actual: ' + (1023 >>> 24)); 
} 


if (2047 >>> 24 !== 0) { 
  $ERROR('#804: 2047 >>> 24 === 0. Actual: ' + (2047 >>> 24)); 
} 


if (4095 >>> 24 !== 0) { 
  $ERROR('#805: 4095 >>> 24 === 0. Actual: ' + (4095 >>> 24)); 
} 


if (8191 >>> 24 !== 0) { 
  $ERROR('#806: 8191 >>> 24 === 0. Actual: ' + (8191 >>> 24)); 
} 


if (16383 >>> 24 !== 0) { 
  $ERROR('#807: 16383 >>> 24 === 0. Actual: ' + (16383 >>> 24)); 
} 


if (32767 >>> 24 !== 0) { 
  $ERROR('#808: 32767 >>> 24 === 0. Actual: ' + (32767 >>> 24)); 
} 


if (65535 >>> 24 !== 0) { 
  $ERROR('#809: 65535 >>> 24 === 0. Actual: ' + (65535 >>> 24)); 
} 


if (131071 >>> 24 !== 0) { 
  $ERROR('#810: 131071 >>> 24 === 0. Actual: ' + (131071 >>> 24)); 
} 


if (262143 >>> 24 !== 0) { 
  $ERROR('#811: 262143 >>> 24 === 0. Actual: ' + (262143 >>> 24)); 
} 


if (524287 >>> 24 !== 0) { 
  $ERROR('#812: 524287 >>> 24 === 0. Actual: ' + (524287 >>> 24)); 
} 


if (1048575 >>> 24 !== 0) { 
  $ERROR('#813: 1048575 >>> 24 === 0. Actual: ' + (1048575 >>> 24)); 
} 


if (2097151 >>> 24 !== 0) { 
  $ERROR('#814: 2097151 >>> 24 === 0. Actual: ' + (2097151 >>> 24)); 
} 


if (4194303 >>> 24 !== 0) { 
  $ERROR('#815: 4194303 >>> 24 === 0. Actual: ' + (4194303 >>> 24)); 
} 


if (8388607 >>> 24 !== 0) { 
  $ERROR('#816: 8388607 >>> 24 === 0. Actual: ' + (8388607 >>> 24)); 
} 


if (16777215 >>> 24 !== 0) { 
  $ERROR('#817: 16777215 >>> 24 === 0. Actual: ' + (16777215 >>> 24)); 
} 


if (33554431 >>> 24 !== 1) { 
  $ERROR('#818: 33554431 >>> 24 === 1. Actual: ' + (33554431 >>> 24)); 
} 


if (67108863 >>> 24 !== 3) { 
  $ERROR('#819: 67108863 >>> 24 === 3. Actual: ' + (67108863 >>> 24)); 
} 


if (134217727 >>> 24 !== 7) { 
  $ERROR('#820: 134217727 >>> 24 === 7. Actual: ' + (134217727 >>> 24)); 
} 


if (268435455 >>> 24 !== 15) { 
  $ERROR('#821: 268435455 >>> 24 === 15. Actual: ' + (268435455 >>> 24)); 
} 


if (536870911 >>> 24 !== 31) { 
  $ERROR('#822: 536870911 >>> 24 === 31. Actual: ' + (536870911 >>> 24)); 
} 


if (1073741823 >>> 24 !== 63) { 
  $ERROR('#823: 1073741823 >>> 24 === 63. Actual: ' + (1073741823 >>> 24)); 
} 


if (2147483647 >>> 24 !== 127) { 
  $ERROR('#824: 2147483647 >>> 24 === 127. Actual: ' + (2147483647 >>> 24)); 
} 


if (4294967295 >>> 24 !== 255) { 
  $ERROR('#825: 4294967295 >>> 24 === 255. Actual: ' + (4294967295 >>> 24)); 
} 


if (0 >>> 25 !== 0) { 
  $ERROR('#826: 0 >>> 25 === 0. Actual: ' + (0 >>> 25)); 
} 


if (1 >>> 25 !== 0) { 
  $ERROR('#827: 1 >>> 25 === 0. Actual: ' + (1 >>> 25)); 
} 


if (3 >>> 25 !== 0) { 
  $ERROR('#828: 3 >>> 25 === 0. Actual: ' + (3 >>> 25)); 
} 


if (7 >>> 25 !== 0) { 
  $ERROR('#829: 7 >>> 25 === 0. Actual: ' + (7 >>> 25)); 
} 


if (15 >>> 25 !== 0) { 
  $ERROR('#830: 15 >>> 25 === 0. Actual: ' + (15 >>> 25)); 
} 


if (31 >>> 25 !== 0) { 
  $ERROR('#831: 31 >>> 25 === 0. Actual: ' + (31 >>> 25)); 
} 


if (63 >>> 25 !== 0) { 
  $ERROR('#832: 63 >>> 25 === 0. Actual: ' + (63 >>> 25)); 
} 


if (127 >>> 25 !== 0) { 
  $ERROR('#833: 127 >>> 25 === 0. Actual: ' + (127 >>> 25)); 
} 


if (255 >>> 25 !== 0) { 
  $ERROR('#834: 255 >>> 25 === 0. Actual: ' + (255 >>> 25)); 
} 


if (511 >>> 25 !== 0) { 
  $ERROR('#835: 511 >>> 25 === 0. Actual: ' + (511 >>> 25)); 
} 


if (1023 >>> 25 !== 0) { 
  $ERROR('#836: 1023 >>> 25 === 0. Actual: ' + (1023 >>> 25)); 
} 


if (2047 >>> 25 !== 0) { 
  $ERROR('#837: 2047 >>> 25 === 0. Actual: ' + (2047 >>> 25)); 
} 


if (4095 >>> 25 !== 0) { 
  $ERROR('#838: 4095 >>> 25 === 0. Actual: ' + (4095 >>> 25)); 
} 


if (8191 >>> 25 !== 0) { 
  $ERROR('#839: 8191 >>> 25 === 0. Actual: ' + (8191 >>> 25)); 
} 


if (16383 >>> 25 !== 0) { 
  $ERROR('#840: 16383 >>> 25 === 0. Actual: ' + (16383 >>> 25)); 
} 


if (32767 >>> 25 !== 0) { 
  $ERROR('#841: 32767 >>> 25 === 0. Actual: ' + (32767 >>> 25)); 
} 


if (65535 >>> 25 !== 0) { 
  $ERROR('#842: 65535 >>> 25 === 0. Actual: ' + (65535 >>> 25)); 
} 


if (131071 >>> 25 !== 0) { 
  $ERROR('#843: 131071 >>> 25 === 0. Actual: ' + (131071 >>> 25)); 
} 


if (262143 >>> 25 !== 0) { 
  $ERROR('#844: 262143 >>> 25 === 0. Actual: ' + (262143 >>> 25)); 
} 


if (524287 >>> 25 !== 0) { 
  $ERROR('#845: 524287 >>> 25 === 0. Actual: ' + (524287 >>> 25)); 
} 


if (1048575 >>> 25 !== 0) { 
  $ERROR('#846: 1048575 >>> 25 === 0. Actual: ' + (1048575 >>> 25)); 
} 


if (2097151 >>> 25 !== 0) { 
  $ERROR('#847: 2097151 >>> 25 === 0. Actual: ' + (2097151 >>> 25)); 
} 


if (4194303 >>> 25 !== 0) { 
  $ERROR('#848: 4194303 >>> 25 === 0. Actual: ' + (4194303 >>> 25)); 
} 


if (8388607 >>> 25 !== 0) { 
  $ERROR('#849: 8388607 >>> 25 === 0. Actual: ' + (8388607 >>> 25)); 
} 


if (16777215 >>> 25 !== 0) { 
  $ERROR('#850: 16777215 >>> 25 === 0. Actual: ' + (16777215 >>> 25)); 
} 


if (33554431 >>> 25 !== 0) { 
  $ERROR('#851: 33554431 >>> 25 === 0. Actual: ' + (33554431 >>> 25)); 
} 


if (67108863 >>> 25 !== 1) { 
  $ERROR('#852: 67108863 >>> 25 === 1. Actual: ' + (67108863 >>> 25)); 
} 


if (134217727 >>> 25 !== 3) { 
  $ERROR('#853: 134217727 >>> 25 === 3. Actual: ' + (134217727 >>> 25)); 
} 


if (268435455 >>> 25 !== 7) { 
  $ERROR('#854: 268435455 >>> 25 === 7. Actual: ' + (268435455 >>> 25)); 
} 


if (536870911 >>> 25 !== 15) { 
  $ERROR('#855: 536870911 >>> 25 === 15. Actual: ' + (536870911 >>> 25)); 
} 


if (1073741823 >>> 25 !== 31) { 
  $ERROR('#856: 1073741823 >>> 25 === 31. Actual: ' + (1073741823 >>> 25)); 
} 


if (2147483647 >>> 25 !== 63) { 
  $ERROR('#857: 2147483647 >>> 25 === 63. Actual: ' + (2147483647 >>> 25)); 
} 


if (4294967295 >>> 25 !== 127) { 
  $ERROR('#858: 4294967295 >>> 25 === 127. Actual: ' + (4294967295 >>> 25)); 
} 


if (0 >>> 26 !== 0) { 
  $ERROR('#859: 0 >>> 26 === 0. Actual: ' + (0 >>> 26)); 
} 


if (1 >>> 26 !== 0) { 
  $ERROR('#860: 1 >>> 26 === 0. Actual: ' + (1 >>> 26)); 
} 


if (3 >>> 26 !== 0) { 
  $ERROR('#861: 3 >>> 26 === 0. Actual: ' + (3 >>> 26)); 
} 


if (7 >>> 26 !== 0) { 
  $ERROR('#862: 7 >>> 26 === 0. Actual: ' + (7 >>> 26)); 
} 


if (15 >>> 26 !== 0) { 
  $ERROR('#863: 15 >>> 26 === 0. Actual: ' + (15 >>> 26)); 
} 


if (31 >>> 26 !== 0) { 
  $ERROR('#864: 31 >>> 26 === 0. Actual: ' + (31 >>> 26)); 
} 


if (63 >>> 26 !== 0) { 
  $ERROR('#865: 63 >>> 26 === 0. Actual: ' + (63 >>> 26)); 
} 


if (127 >>> 26 !== 0) { 
  $ERROR('#866: 127 >>> 26 === 0. Actual: ' + (127 >>> 26)); 
} 


if (255 >>> 26 !== 0) { 
  $ERROR('#867: 255 >>> 26 === 0. Actual: ' + (255 >>> 26)); 
} 


if (511 >>> 26 !== 0) { 
  $ERROR('#868: 511 >>> 26 === 0. Actual: ' + (511 >>> 26)); 
} 


if (1023 >>> 26 !== 0) { 
  $ERROR('#869: 1023 >>> 26 === 0. Actual: ' + (1023 >>> 26)); 
} 


if (2047 >>> 26 !== 0) { 
  $ERROR('#870: 2047 >>> 26 === 0. Actual: ' + (2047 >>> 26)); 
} 


if (4095 >>> 26 !== 0) { 
  $ERROR('#871: 4095 >>> 26 === 0. Actual: ' + (4095 >>> 26)); 
} 


if (8191 >>> 26 !== 0) { 
  $ERROR('#872: 8191 >>> 26 === 0. Actual: ' + (8191 >>> 26)); 
} 


if (16383 >>> 26 !== 0) { 
  $ERROR('#873: 16383 >>> 26 === 0. Actual: ' + (16383 >>> 26)); 
} 


if (32767 >>> 26 !== 0) { 
  $ERROR('#874: 32767 >>> 26 === 0. Actual: ' + (32767 >>> 26)); 
} 


if (65535 >>> 26 !== 0) { 
  $ERROR('#875: 65535 >>> 26 === 0. Actual: ' + (65535 >>> 26)); 
} 


if (131071 >>> 26 !== 0) { 
  $ERROR('#876: 131071 >>> 26 === 0. Actual: ' + (131071 >>> 26)); 
} 


if (262143 >>> 26 !== 0) { 
  $ERROR('#877: 262143 >>> 26 === 0. Actual: ' + (262143 >>> 26)); 
} 


if (524287 >>> 26 !== 0) { 
  $ERROR('#878: 524287 >>> 26 === 0. Actual: ' + (524287 >>> 26)); 
} 


if (1048575 >>> 26 !== 0) { 
  $ERROR('#879: 1048575 >>> 26 === 0. Actual: ' + (1048575 >>> 26)); 
} 


if (2097151 >>> 26 !== 0) { 
  $ERROR('#880: 2097151 >>> 26 === 0. Actual: ' + (2097151 >>> 26)); 
} 


if (4194303 >>> 26 !== 0) { 
  $ERROR('#881: 4194303 >>> 26 === 0. Actual: ' + (4194303 >>> 26)); 
} 


if (8388607 >>> 26 !== 0) { 
  $ERROR('#882: 8388607 >>> 26 === 0. Actual: ' + (8388607 >>> 26)); 
} 


if (16777215 >>> 26 !== 0) { 
  $ERROR('#883: 16777215 >>> 26 === 0. Actual: ' + (16777215 >>> 26)); 
} 


if (33554431 >>> 26 !== 0) { 
  $ERROR('#884: 33554431 >>> 26 === 0. Actual: ' + (33554431 >>> 26)); 
} 


if (67108863 >>> 26 !== 0) { 
  $ERROR('#885: 67108863 >>> 26 === 0. Actual: ' + (67108863 >>> 26)); 
} 


if (134217727 >>> 26 !== 1) { 
  $ERROR('#886: 134217727 >>> 26 === 1. Actual: ' + (134217727 >>> 26)); 
} 


if (268435455 >>> 26 !== 3) { 
  $ERROR('#887: 268435455 >>> 26 === 3. Actual: ' + (268435455 >>> 26)); 
} 


if (536870911 >>> 26 !== 7) { 
  $ERROR('#888: 536870911 >>> 26 === 7. Actual: ' + (536870911 >>> 26)); 
} 


if (1073741823 >>> 26 !== 15) { 
  $ERROR('#889: 1073741823 >>> 26 === 15. Actual: ' + (1073741823 >>> 26)); 
} 


if (2147483647 >>> 26 !== 31) { 
  $ERROR('#890: 2147483647 >>> 26 === 31. Actual: ' + (2147483647 >>> 26)); 
} 


if (4294967295 >>> 26 !== 63) { 
  $ERROR('#891: 4294967295 >>> 26 === 63. Actual: ' + (4294967295 >>> 26)); 
} 


if (0 >>> 27 !== 0) { 
  $ERROR('#892: 0 >>> 27 === 0. Actual: ' + (0 >>> 27)); 
} 


if (1 >>> 27 !== 0) { 
  $ERROR('#893: 1 >>> 27 === 0. Actual: ' + (1 >>> 27)); 
} 


if (3 >>> 27 !== 0) { 
  $ERROR('#894: 3 >>> 27 === 0. Actual: ' + (3 >>> 27)); 
} 


if (7 >>> 27 !== 0) { 
  $ERROR('#895: 7 >>> 27 === 0. Actual: ' + (7 >>> 27)); 
} 


if (15 >>> 27 !== 0) { 
  $ERROR('#896: 15 >>> 27 === 0. Actual: ' + (15 >>> 27)); 
} 


if (31 >>> 27 !== 0) { 
  $ERROR('#897: 31 >>> 27 === 0. Actual: ' + (31 >>> 27)); 
} 


if (63 >>> 27 !== 0) { 
  $ERROR('#898: 63 >>> 27 === 0. Actual: ' + (63 >>> 27)); 
} 


if (127 >>> 27 !== 0) { 
  $ERROR('#899: 127 >>> 27 === 0. Actual: ' + (127 >>> 27)); 
} 


if (255 >>> 27 !== 0) { 
  $ERROR('#900: 255 >>> 27 === 0. Actual: ' + (255 >>> 27)); 
} 


if (511 >>> 27 !== 0) { 
  $ERROR('#901: 511 >>> 27 === 0. Actual: ' + (511 >>> 27)); 
} 


if (1023 >>> 27 !== 0) { 
  $ERROR('#902: 1023 >>> 27 === 0. Actual: ' + (1023 >>> 27)); 
} 


if (2047 >>> 27 !== 0) { 
  $ERROR('#903: 2047 >>> 27 === 0. Actual: ' + (2047 >>> 27)); 
} 


if (4095 >>> 27 !== 0) { 
  $ERROR('#904: 4095 >>> 27 === 0. Actual: ' + (4095 >>> 27)); 
} 


if (8191 >>> 27 !== 0) { 
  $ERROR('#905: 8191 >>> 27 === 0. Actual: ' + (8191 >>> 27)); 
} 


if (16383 >>> 27 !== 0) { 
  $ERROR('#906: 16383 >>> 27 === 0. Actual: ' + (16383 >>> 27)); 
} 


if (32767 >>> 27 !== 0) { 
  $ERROR('#907: 32767 >>> 27 === 0. Actual: ' + (32767 >>> 27)); 
} 


if (65535 >>> 27 !== 0) { 
  $ERROR('#908: 65535 >>> 27 === 0. Actual: ' + (65535 >>> 27)); 
} 


if (131071 >>> 27 !== 0) { 
  $ERROR('#909: 131071 >>> 27 === 0. Actual: ' + (131071 >>> 27)); 
} 


if (262143 >>> 27 !== 0) { 
  $ERROR('#910: 262143 >>> 27 === 0. Actual: ' + (262143 >>> 27)); 
} 


if (524287 >>> 27 !== 0) { 
  $ERROR('#911: 524287 >>> 27 === 0. Actual: ' + (524287 >>> 27)); 
} 


if (1048575 >>> 27 !== 0) { 
  $ERROR('#912: 1048575 >>> 27 === 0. Actual: ' + (1048575 >>> 27)); 
} 


if (2097151 >>> 27 !== 0) { 
  $ERROR('#913: 2097151 >>> 27 === 0. Actual: ' + (2097151 >>> 27)); 
} 


if (4194303 >>> 27 !== 0) { 
  $ERROR('#914: 4194303 >>> 27 === 0. Actual: ' + (4194303 >>> 27)); 
} 


if (8388607 >>> 27 !== 0) { 
  $ERROR('#915: 8388607 >>> 27 === 0. Actual: ' + (8388607 >>> 27)); 
} 


if (16777215 >>> 27 !== 0) { 
  $ERROR('#916: 16777215 >>> 27 === 0. Actual: ' + (16777215 >>> 27)); 
} 


if (33554431 >>> 27 !== 0) { 
  $ERROR('#917: 33554431 >>> 27 === 0. Actual: ' + (33554431 >>> 27)); 
} 


if (67108863 >>> 27 !== 0) { 
  $ERROR('#918: 67108863 >>> 27 === 0. Actual: ' + (67108863 >>> 27)); 
} 


if (134217727 >>> 27 !== 0) { 
  $ERROR('#919: 134217727 >>> 27 === 0. Actual: ' + (134217727 >>> 27)); 
} 


if (268435455 >>> 27 !== 1) { 
  $ERROR('#920: 268435455 >>> 27 === 1. Actual: ' + (268435455 >>> 27)); 
} 


if (536870911 >>> 27 !== 3) { 
  $ERROR('#921: 536870911 >>> 27 === 3. Actual: ' + (536870911 >>> 27)); 
} 


if (1073741823 >>> 27 !== 7) { 
  $ERROR('#922: 1073741823 >>> 27 === 7. Actual: ' + (1073741823 >>> 27)); 
} 


if (2147483647 >>> 27 !== 15) { 
  $ERROR('#923: 2147483647 >>> 27 === 15. Actual: ' + (2147483647 >>> 27)); 
} 


if (4294967295 >>> 27 !== 31) { 
  $ERROR('#924: 4294967295 >>> 27 === 31. Actual: ' + (4294967295 >>> 27)); 
} 


if (0 >>> 28 !== 0) { 
  $ERROR('#925: 0 >>> 28 === 0. Actual: ' + (0 >>> 28)); 
} 


if (1 >>> 28 !== 0) { 
  $ERROR('#926: 1 >>> 28 === 0. Actual: ' + (1 >>> 28)); 
} 


if (3 >>> 28 !== 0) { 
  $ERROR('#927: 3 >>> 28 === 0. Actual: ' + (3 >>> 28)); 
} 


if (7 >>> 28 !== 0) { 
  $ERROR('#928: 7 >>> 28 === 0. Actual: ' + (7 >>> 28)); 
} 


if (15 >>> 28 !== 0) { 
  $ERROR('#929: 15 >>> 28 === 0. Actual: ' + (15 >>> 28)); 
} 


if (31 >>> 28 !== 0) { 
  $ERROR('#930: 31 >>> 28 === 0. Actual: ' + (31 >>> 28)); 
} 


if (63 >>> 28 !== 0) { 
  $ERROR('#931: 63 >>> 28 === 0. Actual: ' + (63 >>> 28)); 
} 


if (127 >>> 28 !== 0) { 
  $ERROR('#932: 127 >>> 28 === 0. Actual: ' + (127 >>> 28)); 
} 


if (255 >>> 28 !== 0) { 
  $ERROR('#933: 255 >>> 28 === 0. Actual: ' + (255 >>> 28)); 
} 


if (511 >>> 28 !== 0) { 
  $ERROR('#934: 511 >>> 28 === 0. Actual: ' + (511 >>> 28)); 
} 


if (1023 >>> 28 !== 0) { 
  $ERROR('#935: 1023 >>> 28 === 0. Actual: ' + (1023 >>> 28)); 
} 


if (2047 >>> 28 !== 0) { 
  $ERROR('#936: 2047 >>> 28 === 0. Actual: ' + (2047 >>> 28)); 
} 


if (4095 >>> 28 !== 0) { 
  $ERROR('#937: 4095 >>> 28 === 0. Actual: ' + (4095 >>> 28)); 
} 


if (8191 >>> 28 !== 0) { 
  $ERROR('#938: 8191 >>> 28 === 0. Actual: ' + (8191 >>> 28)); 
} 


if (16383 >>> 28 !== 0) { 
  $ERROR('#939: 16383 >>> 28 === 0. Actual: ' + (16383 >>> 28)); 
} 


if (32767 >>> 28 !== 0) { 
  $ERROR('#940: 32767 >>> 28 === 0. Actual: ' + (32767 >>> 28)); 
} 


if (65535 >>> 28 !== 0) { 
  $ERROR('#941: 65535 >>> 28 === 0. Actual: ' + (65535 >>> 28)); 
} 


if (131071 >>> 28 !== 0) { 
  $ERROR('#942: 131071 >>> 28 === 0. Actual: ' + (131071 >>> 28)); 
} 


if (262143 >>> 28 !== 0) { 
  $ERROR('#943: 262143 >>> 28 === 0. Actual: ' + (262143 >>> 28)); 
} 


if (524287 >>> 28 !== 0) { 
  $ERROR('#944: 524287 >>> 28 === 0. Actual: ' + (524287 >>> 28)); 
} 


if (1048575 >>> 28 !== 0) { 
  $ERROR('#945: 1048575 >>> 28 === 0. Actual: ' + (1048575 >>> 28)); 
} 


if (2097151 >>> 28 !== 0) { 
  $ERROR('#946: 2097151 >>> 28 === 0. Actual: ' + (2097151 >>> 28)); 
} 


if (4194303 >>> 28 !== 0) { 
  $ERROR('#947: 4194303 >>> 28 === 0. Actual: ' + (4194303 >>> 28)); 
} 


if (8388607 >>> 28 !== 0) { 
  $ERROR('#948: 8388607 >>> 28 === 0. Actual: ' + (8388607 >>> 28)); 
} 


if (16777215 >>> 28 !== 0) { 
  $ERROR('#949: 16777215 >>> 28 === 0. Actual: ' + (16777215 >>> 28)); 
} 


if (33554431 >>> 28 !== 0) { 
  $ERROR('#950: 33554431 >>> 28 === 0. Actual: ' + (33554431 >>> 28)); 
} 


if (67108863 >>> 28 !== 0) { 
  $ERROR('#951: 67108863 >>> 28 === 0. Actual: ' + (67108863 >>> 28)); 
} 


if (134217727 >>> 28 !== 0) { 
  $ERROR('#952: 134217727 >>> 28 === 0. Actual: ' + (134217727 >>> 28)); 
} 


if (268435455 >>> 28 !== 0) { 
  $ERROR('#953: 268435455 >>> 28 === 0. Actual: ' + (268435455 >>> 28)); 
} 


if (536870911 >>> 28 !== 1) { 
  $ERROR('#954: 536870911 >>> 28 === 1. Actual: ' + (536870911 >>> 28)); 
} 


if (1073741823 >>> 28 !== 3) { 
  $ERROR('#955: 1073741823 >>> 28 === 3. Actual: ' + (1073741823 >>> 28)); 
} 


if (2147483647 >>> 28 !== 7) { 
  $ERROR('#956: 2147483647 >>> 28 === 7. Actual: ' + (2147483647 >>> 28)); 
} 


if (4294967295 >>> 28 !== 15) { 
  $ERROR('#957: 4294967295 >>> 28 === 15. Actual: ' + (4294967295 >>> 28)); 
} 


if (0 >>> 29 !== 0) { 
  $ERROR('#958: 0 >>> 29 === 0. Actual: ' + (0 >>> 29)); 
} 


if (1 >>> 29 !== 0) { 
  $ERROR('#959: 1 >>> 29 === 0. Actual: ' + (1 >>> 29)); 
} 


if (3 >>> 29 !== 0) { 
  $ERROR('#960: 3 >>> 29 === 0. Actual: ' + (3 >>> 29)); 
} 


if (7 >>> 29 !== 0) { 
  $ERROR('#961: 7 >>> 29 === 0. Actual: ' + (7 >>> 29)); 
} 


if (15 >>> 29 !== 0) { 
  $ERROR('#962: 15 >>> 29 === 0. Actual: ' + (15 >>> 29)); 
} 


if (31 >>> 29 !== 0) { 
  $ERROR('#963: 31 >>> 29 === 0. Actual: ' + (31 >>> 29)); 
} 


if (63 >>> 29 !== 0) { 
  $ERROR('#964: 63 >>> 29 === 0. Actual: ' + (63 >>> 29)); 
} 


if (127 >>> 29 !== 0) { 
  $ERROR('#965: 127 >>> 29 === 0. Actual: ' + (127 >>> 29)); 
} 


if (255 >>> 29 !== 0) { 
  $ERROR('#966: 255 >>> 29 === 0. Actual: ' + (255 >>> 29)); 
} 


if (511 >>> 29 !== 0) { 
  $ERROR('#967: 511 >>> 29 === 0. Actual: ' + (511 >>> 29)); 
} 


if (1023 >>> 29 !== 0) { 
  $ERROR('#968: 1023 >>> 29 === 0. Actual: ' + (1023 >>> 29)); 
} 


if (2047 >>> 29 !== 0) { 
  $ERROR('#969: 2047 >>> 29 === 0. Actual: ' + (2047 >>> 29)); 
} 


if (4095 >>> 29 !== 0) { 
  $ERROR('#970: 4095 >>> 29 === 0. Actual: ' + (4095 >>> 29)); 
} 


if (8191 >>> 29 !== 0) { 
  $ERROR('#971: 8191 >>> 29 === 0. Actual: ' + (8191 >>> 29)); 
} 


if (16383 >>> 29 !== 0) { 
  $ERROR('#972: 16383 >>> 29 === 0. Actual: ' + (16383 >>> 29)); 
} 


if (32767 >>> 29 !== 0) { 
  $ERROR('#973: 32767 >>> 29 === 0. Actual: ' + (32767 >>> 29)); 
} 


if (65535 >>> 29 !== 0) { 
  $ERROR('#974: 65535 >>> 29 === 0. Actual: ' + (65535 >>> 29)); 
} 


if (131071 >>> 29 !== 0) { 
  $ERROR('#975: 131071 >>> 29 === 0. Actual: ' + (131071 >>> 29)); 
} 


if (262143 >>> 29 !== 0) { 
  $ERROR('#976: 262143 >>> 29 === 0. Actual: ' + (262143 >>> 29)); 
} 


if (524287 >>> 29 !== 0) { 
  $ERROR('#977: 524287 >>> 29 === 0. Actual: ' + (524287 >>> 29)); 
} 


if (1048575 >>> 29 !== 0) { 
  $ERROR('#978: 1048575 >>> 29 === 0. Actual: ' + (1048575 >>> 29)); 
} 


if (2097151 >>> 29 !== 0) { 
  $ERROR('#979: 2097151 >>> 29 === 0. Actual: ' + (2097151 >>> 29)); 
} 


if (4194303 >>> 29 !== 0) { 
  $ERROR('#980: 4194303 >>> 29 === 0. Actual: ' + (4194303 >>> 29)); 
} 


if (8388607 >>> 29 !== 0) { 
  $ERROR('#981: 8388607 >>> 29 === 0. Actual: ' + (8388607 >>> 29)); 
} 


if (16777215 >>> 29 !== 0) { 
  $ERROR('#982: 16777215 >>> 29 === 0. Actual: ' + (16777215 >>> 29)); 
} 


if (33554431 >>> 29 !== 0) { 
  $ERROR('#983: 33554431 >>> 29 === 0. Actual: ' + (33554431 >>> 29)); 
} 


if (67108863 >>> 29 !== 0) { 
  $ERROR('#984: 67108863 >>> 29 === 0. Actual: ' + (67108863 >>> 29)); 
} 


if (134217727 >>> 29 !== 0) { 
  $ERROR('#985: 134217727 >>> 29 === 0. Actual: ' + (134217727 >>> 29)); 
} 


if (268435455 >>> 29 !== 0) { 
  $ERROR('#986: 268435455 >>> 29 === 0. Actual: ' + (268435455 >>> 29)); 
} 


if (536870911 >>> 29 !== 0) { 
  $ERROR('#987: 536870911 >>> 29 === 0. Actual: ' + (536870911 >>> 29)); 
} 


if (1073741823 >>> 29 !== 1) { 
  $ERROR('#988: 1073741823 >>> 29 === 1. Actual: ' + (1073741823 >>> 29)); 
} 


if (2147483647 >>> 29 !== 3) { 
  $ERROR('#989: 2147483647 >>> 29 === 3. Actual: ' + (2147483647 >>> 29)); 
} 


if (4294967295 >>> 29 !== 7) { 
  $ERROR('#990: 4294967295 >>> 29 === 7. Actual: ' + (4294967295 >>> 29)); 
} 


if (0 >>> 30 !== 0) { 
  $ERROR('#991: 0 >>> 30 === 0. Actual: ' + (0 >>> 30)); 
} 


if (1 >>> 30 !== 0) { 
  $ERROR('#992: 1 >>> 30 === 0. Actual: ' + (1 >>> 30)); 
} 


if (3 >>> 30 !== 0) { 
  $ERROR('#993: 3 >>> 30 === 0. Actual: ' + (3 >>> 30)); 
} 


if (7 >>> 30 !== 0) { 
  $ERROR('#994: 7 >>> 30 === 0. Actual: ' + (7 >>> 30)); 
} 


if (15 >>> 30 !== 0) { 
  $ERROR('#995: 15 >>> 30 === 0. Actual: ' + (15 >>> 30)); 
} 


if (31 >>> 30 !== 0) { 
  $ERROR('#996: 31 >>> 30 === 0. Actual: ' + (31 >>> 30)); 
} 


if (63 >>> 30 !== 0) { 
  $ERROR('#997: 63 >>> 30 === 0. Actual: ' + (63 >>> 30)); 
} 


if (127 >>> 30 !== 0) { 
  $ERROR('#998: 127 >>> 30 === 0. Actual: ' + (127 >>> 30)); 
} 


if (255 >>> 30 !== 0) { 
  $ERROR('#999: 255 >>> 30 === 0. Actual: ' + (255 >>> 30)); 
} 


if (511 >>> 30 !== 0) { 
  $ERROR('#1000: 511 >>> 30 === 0. Actual: ' + (511 >>> 30)); 
} 


if (1023 >>> 30 !== 0) { 
  $ERROR('#1001: 1023 >>> 30 === 0. Actual: ' + (1023 >>> 30)); 
} 


if (2047 >>> 30 !== 0) { 
  $ERROR('#1002: 2047 >>> 30 === 0. Actual: ' + (2047 >>> 30)); 
} 


if (4095 >>> 30 !== 0) { 
  $ERROR('#1003: 4095 >>> 30 === 0. Actual: ' + (4095 >>> 30)); 
} 


if (8191 >>> 30 !== 0) { 
  $ERROR('#1004: 8191 >>> 30 === 0. Actual: ' + (8191 >>> 30)); 
} 


if (16383 >>> 30 !== 0) { 
  $ERROR('#1005: 16383 >>> 30 === 0. Actual: ' + (16383 >>> 30)); 
} 


if (32767 >>> 30 !== 0) { 
  $ERROR('#1006: 32767 >>> 30 === 0. Actual: ' + (32767 >>> 30)); 
} 


if (65535 >>> 30 !== 0) { 
  $ERROR('#1007: 65535 >>> 30 === 0. Actual: ' + (65535 >>> 30)); 
} 


if (131071 >>> 30 !== 0) { 
  $ERROR('#1008: 131071 >>> 30 === 0. Actual: ' + (131071 >>> 30)); 
} 


if (262143 >>> 30 !== 0) { 
  $ERROR('#1009: 262143 >>> 30 === 0. Actual: ' + (262143 >>> 30)); 
} 


if (524287 >>> 30 !== 0) { 
  $ERROR('#1010: 524287 >>> 30 === 0. Actual: ' + (524287 >>> 30)); 
} 


if (1048575 >>> 30 !== 0) { 
  $ERROR('#1011: 1048575 >>> 30 === 0. Actual: ' + (1048575 >>> 30)); 
} 


if (2097151 >>> 30 !== 0) { 
  $ERROR('#1012: 2097151 >>> 30 === 0. Actual: ' + (2097151 >>> 30)); 
} 


if (4194303 >>> 30 !== 0) { 
  $ERROR('#1013: 4194303 >>> 30 === 0. Actual: ' + (4194303 >>> 30)); 
} 


if (8388607 >>> 30 !== 0) { 
  $ERROR('#1014: 8388607 >>> 30 === 0. Actual: ' + (8388607 >>> 30)); 
} 


if (16777215 >>> 30 !== 0) { 
  $ERROR('#1015: 16777215 >>> 30 === 0. Actual: ' + (16777215 >>> 30)); 
} 


if (33554431 >>> 30 !== 0) { 
  $ERROR('#1016: 33554431 >>> 30 === 0. Actual: ' + (33554431 >>> 30)); 
} 


if (67108863 >>> 30 !== 0) { 
  $ERROR('#1017: 67108863 >>> 30 === 0. Actual: ' + (67108863 >>> 30)); 
} 


if (134217727 >>> 30 !== 0) { 
  $ERROR('#1018: 134217727 >>> 30 === 0. Actual: ' + (134217727 >>> 30)); 
} 


if (268435455 >>> 30 !== 0) { 
  $ERROR('#1019: 268435455 >>> 30 === 0. Actual: ' + (268435455 >>> 30)); 
} 


if (536870911 >>> 30 !== 0) { 
  $ERROR('#1020: 536870911 >>> 30 === 0. Actual: ' + (536870911 >>> 30)); 
} 


if (1073741823 >>> 30 !== 0) { 
  $ERROR('#1021: 1073741823 >>> 30 === 0. Actual: ' + (1073741823 >>> 30)); 
} 


if (2147483647 >>> 30 !== 1) { 
  $ERROR('#1022: 2147483647 >>> 30 === 1. Actual: ' + (2147483647 >>> 30)); 
} 


if (4294967295 >>> 30 !== 3) { 
  $ERROR('#1023: 4294967295 >>> 30 === 3. Actual: ' + (4294967295 >>> 30)); 
} 


if (0 >>> 31 !== 0) { 
  $ERROR('#1024: 0 >>> 31 === 0. Actual: ' + (0 >>> 31)); 
} 


if (1 >>> 31 !== 0) { 
  $ERROR('#1025: 1 >>> 31 === 0. Actual: ' + (1 >>> 31)); 
} 


if (3 >>> 31 !== 0) { 
  $ERROR('#1026: 3 >>> 31 === 0. Actual: ' + (3 >>> 31)); 
} 


if (7 >>> 31 !== 0) { 
  $ERROR('#1027: 7 >>> 31 === 0. Actual: ' + (7 >>> 31)); 
} 


if (15 >>> 31 !== 0) { 
  $ERROR('#1028: 15 >>> 31 === 0. Actual: ' + (15 >>> 31)); 
} 


if (31 >>> 31 !== 0) { 
  $ERROR('#1029: 31 >>> 31 === 0. Actual: ' + (31 >>> 31)); 
} 


if (63 >>> 31 !== 0) { 
  $ERROR('#1030: 63 >>> 31 === 0. Actual: ' + (63 >>> 31)); 
} 


if (127 >>> 31 !== 0) { 
  $ERROR('#1031: 127 >>> 31 === 0. Actual: ' + (127 >>> 31)); 
} 


if (255 >>> 31 !== 0) { 
  $ERROR('#1032: 255 >>> 31 === 0. Actual: ' + (255 >>> 31)); 
} 


if (511 >>> 31 !== 0) { 
  $ERROR('#1033: 511 >>> 31 === 0. Actual: ' + (511 >>> 31)); 
} 


if (1023 >>> 31 !== 0) { 
  $ERROR('#1034: 1023 >>> 31 === 0. Actual: ' + (1023 >>> 31)); 
} 


if (2047 >>> 31 !== 0) { 
  $ERROR('#1035: 2047 >>> 31 === 0. Actual: ' + (2047 >>> 31)); 
} 


if (4095 >>> 31 !== 0) { 
  $ERROR('#1036: 4095 >>> 31 === 0. Actual: ' + (4095 >>> 31)); 
} 


if (8191 >>> 31 !== 0) { 
  $ERROR('#1037: 8191 >>> 31 === 0. Actual: ' + (8191 >>> 31)); 
} 


if (16383 >>> 31 !== 0) { 
  $ERROR('#1038: 16383 >>> 31 === 0. Actual: ' + (16383 >>> 31)); 
} 


if (32767 >>> 31 !== 0) { 
  $ERROR('#1039: 32767 >>> 31 === 0. Actual: ' + (32767 >>> 31)); 
} 


if (65535 >>> 31 !== 0) { 
  $ERROR('#1040: 65535 >>> 31 === 0. Actual: ' + (65535 >>> 31)); 
} 


if (131071 >>> 31 !== 0) { 
  $ERROR('#1041: 131071 >>> 31 === 0. Actual: ' + (131071 >>> 31)); 
} 


if (262143 >>> 31 !== 0) { 
  $ERROR('#1042: 262143 >>> 31 === 0. Actual: ' + (262143 >>> 31)); 
} 


if (524287 >>> 31 !== 0) { 
  $ERROR('#1043: 524287 >>> 31 === 0. Actual: ' + (524287 >>> 31)); 
} 


if (1048575 >>> 31 !== 0) { 
  $ERROR('#1044: 1048575 >>> 31 === 0. Actual: ' + (1048575 >>> 31)); 
} 


if (2097151 >>> 31 !== 0) { 
  $ERROR('#1045: 2097151 >>> 31 === 0. Actual: ' + (2097151 >>> 31)); 
} 


if (4194303 >>> 31 !== 0) { 
  $ERROR('#1046: 4194303 >>> 31 === 0. Actual: ' + (4194303 >>> 31)); 
} 


if (8388607 >>> 31 !== 0) { 
  $ERROR('#1047: 8388607 >>> 31 === 0. Actual: ' + (8388607 >>> 31)); 
} 


if (16777215 >>> 31 !== 0) { 
  $ERROR('#1048: 16777215 >>> 31 === 0. Actual: ' + (16777215 >>> 31)); 
} 


if (33554431 >>> 31 !== 0) { 
  $ERROR('#1049: 33554431 >>> 31 === 0. Actual: ' + (33554431 >>> 31)); 
} 


if (67108863 >>> 31 !== 0) { 
  $ERROR('#1050: 67108863 >>> 31 === 0. Actual: ' + (67108863 >>> 31)); 
} 


if (134217727 >>> 31 !== 0) { 
  $ERROR('#1051: 134217727 >>> 31 === 0. Actual: ' + (134217727 >>> 31)); 
} 


if (268435455 >>> 31 !== 0) { 
  $ERROR('#1052: 268435455 >>> 31 === 0. Actual: ' + (268435455 >>> 31)); 
} 


if (536870911 >>> 31 !== 0) { 
  $ERROR('#1053: 536870911 >>> 31 === 0. Actual: ' + (536870911 >>> 31)); 
} 


if (1073741823 >>> 31 !== 0) { 
  $ERROR('#1054: 1073741823 >>> 31 === 0. Actual: ' + (1073741823 >>> 31)); 
} 


if (2147483647 >>> 31 !== 0) { 
  $ERROR('#1055: 2147483647 >>> 31 === 0. Actual: ' + (2147483647 >>> 31)); 
} 


if (4294967295 >>> 31 !== 1) { 
  $ERROR('#1056: 4294967295 >>> 31 === 1. Actual: ' + (4294967295 >>> 31)); 
}