// 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.1_A4_T2
description: ShiftExpression = 2^n - 1, n = 16...31
---*/

//CHECK

if (-1 << 16 !== -65536) { 
  $ERROR('#513: -1 << 16 === -65536. Actual: ' + (-1 << 16)); 
} 


if (-2 << 16 !== -131072) { 
  $ERROR('#514: -2 << 16 === -131072. Actual: ' + (-2 << 16)); 
} 


if (-4 << 16 !== -262144) { 
  $ERROR('#515: -4 << 16 === -262144. Actual: ' + (-4 << 16)); 
} 


if (-8 << 16 !== -524288) { 
  $ERROR('#516: -8 << 16 === -524288. Actual: ' + (-8 << 16)); 
} 


if (-16 << 16 !== -1048576) { 
  $ERROR('#517: -16 << 16 === -1048576. Actual: ' + (-16 << 16)); 
} 


if (-32 << 16 !== -2097152) { 
  $ERROR('#518: -32 << 16 === -2097152. Actual: ' + (-32 << 16)); 
} 


if (-64 << 16 !== -4194304) { 
  $ERROR('#519: -64 << 16 === -4194304. Actual: ' + (-64 << 16)); 
} 


if (-128 << 16 !== -8388608) { 
  $ERROR('#520: -128 << 16 === -8388608. Actual: ' + (-128 << 16)); 
} 


if (-256 << 16 !== -16777216) { 
  $ERROR('#521: -256 << 16 === -16777216. Actual: ' + (-256 << 16)); 
} 


if (-512 << 16 !== -33554432) { 
  $ERROR('#522: -512 << 16 === -33554432. Actual: ' + (-512 << 16)); 
} 


if (-1024 << 16 !== -67108864) { 
  $ERROR('#523: -1024 << 16 === -67108864. Actual: ' + (-1024 << 16)); 
} 


if (-2048 << 16 !== -134217728) { 
  $ERROR('#524: -2048 << 16 === -134217728. Actual: ' + (-2048 << 16)); 
} 


if (-4096 << 16 !== -268435456) { 
  $ERROR('#525: -4096 << 16 === -268435456. Actual: ' + (-4096 << 16)); 
} 


if (-8192 << 16 !== -536870912) { 
  $ERROR('#526: -8192 << 16 === -536870912. Actual: ' + (-8192 << 16)); 
} 


if (-16384 << 16 !== -1073741824) { 
  $ERROR('#527: -16384 << 16 === -1073741824. Actual: ' + (-16384 << 16)); 
} 


if (-32768 << 16 !== -2147483648) { 
  $ERROR('#528: -32768 << 16 === -2147483648. Actual: ' + (-32768 << 16)); 
} 


if (-65536 << 16 !== 0) { 
  $ERROR('#529: -65536 << 16 === 0. Actual: ' + (-65536 << 16)); 
} 


if (-131072 << 16 !== 0) { 
  $ERROR('#530: -131072 << 16 === 0. Actual: ' + (-131072 << 16)); 
} 


if (-262144 << 16 !== 0) { 
  $ERROR('#531: -262144 << 16 === 0. Actual: ' + (-262144 << 16)); 
} 


if (-524288 << 16 !== 0) { 
  $ERROR('#532: -524288 << 16 === 0. Actual: ' + (-524288 << 16)); 
} 


if (-1048576 << 16 !== 0) { 
  $ERROR('#533: -1048576 << 16 === 0. Actual: ' + (-1048576 << 16)); 
} 


if (-2097152 << 16 !== 0) { 
  $ERROR('#534: -2097152 << 16 === 0. Actual: ' + (-2097152 << 16)); 
} 


if (-4194304 << 16 !== 0) { 
  $ERROR('#535: -4194304 << 16 === 0. Actual: ' + (-4194304 << 16)); 
} 


if (-8388608 << 16 !== 0) { 
  $ERROR('#536: -8388608 << 16 === 0. Actual: ' + (-8388608 << 16)); 
} 


if (-16777216 << 16 !== 0) { 
  $ERROR('#537: -16777216 << 16 === 0. Actual: ' + (-16777216 << 16)); 
} 


if (-33554432 << 16 !== 0) { 
  $ERROR('#538: -33554432 << 16 === 0. Actual: ' + (-33554432 << 16)); 
} 


if (-67108864 << 16 !== 0) { 
  $ERROR('#539: -67108864 << 16 === 0. Actual: ' + (-67108864 << 16)); 
} 


if (-134217728 << 16 !== 0) { 
  $ERROR('#540: -134217728 << 16 === 0. Actual: ' + (-134217728 << 16)); 
} 


if (-268435456 << 16 !== 0) { 
  $ERROR('#541: -268435456 << 16 === 0. Actual: ' + (-268435456 << 16)); 
} 


if (-536870912 << 16 !== 0) { 
  $ERROR('#542: -536870912 << 16 === 0. Actual: ' + (-536870912 << 16)); 
} 


if (-1073741824 << 16 !== 0) { 
  $ERROR('#543: -1073741824 << 16 === 0. Actual: ' + (-1073741824 << 16)); 
} 


if (-2147483648 << 16 !== 0) { 
  $ERROR('#544: -2147483648 << 16 === 0. Actual: ' + (-2147483648 << 16)); 
} 


if (-1 << 17 !== -131072) { 
  $ERROR('#545: -1 << 17 === -131072. Actual: ' + (-1 << 17)); 
} 


if (-2 << 17 !== -262144) { 
  $ERROR('#546: -2 << 17 === -262144. Actual: ' + (-2 << 17)); 
} 


if (-4 << 17 !== -524288) { 
  $ERROR('#547: -4 << 17 === -524288. Actual: ' + (-4 << 17)); 
} 


if (-8 << 17 !== -1048576) { 
  $ERROR('#548: -8 << 17 === -1048576. Actual: ' + (-8 << 17)); 
} 


if (-16 << 17 !== -2097152) { 
  $ERROR('#549: -16 << 17 === -2097152. Actual: ' + (-16 << 17)); 
} 


if (-32 << 17 !== -4194304) { 
  $ERROR('#550: -32 << 17 === -4194304. Actual: ' + (-32 << 17)); 
} 


if (-64 << 17 !== -8388608) { 
  $ERROR('#551: -64 << 17 === -8388608. Actual: ' + (-64 << 17)); 
} 


if (-128 << 17 !== -16777216) { 
  $ERROR('#552: -128 << 17 === -16777216. Actual: ' + (-128 << 17)); 
} 


if (-256 << 17 !== -33554432) { 
  $ERROR('#553: -256 << 17 === -33554432. Actual: ' + (-256 << 17)); 
} 


if (-512 << 17 !== -67108864) { 
  $ERROR('#554: -512 << 17 === -67108864. Actual: ' + (-512 << 17)); 
} 


if (-1024 << 17 !== -134217728) { 
  $ERROR('#555: -1024 << 17 === -134217728. Actual: ' + (-1024 << 17)); 
} 


if (-2048 << 17 !== -268435456) { 
  $ERROR('#556: -2048 << 17 === -268435456. Actual: ' + (-2048 << 17)); 
} 


if (-4096 << 17 !== -536870912) { 
  $ERROR('#557: -4096 << 17 === -536870912. Actual: ' + (-4096 << 17)); 
} 


if (-8192 << 17 !== -1073741824) { 
  $ERROR('#558: -8192 << 17 === -1073741824. Actual: ' + (-8192 << 17)); 
} 


if (-16384 << 17 !== -2147483648) { 
  $ERROR('#559: -16384 << 17 === -2147483648. Actual: ' + (-16384 << 17)); 
} 


if (-32768 << 17 !== 0) { 
  $ERROR('#560: -32768 << 17 === 0. Actual: ' + (-32768 << 17)); 
} 


if (-65536 << 17 !== 0) { 
  $ERROR('#561: -65536 << 17 === 0. Actual: ' + (-65536 << 17)); 
} 


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


if (-262144 << 17 !== 0) { 
  $ERROR('#563: -262144 << 17 === 0. Actual: ' + (-262144 << 17)); 
} 


if (-524288 << 17 !== 0) { 
  $ERROR('#564: -524288 << 17 === 0. Actual: ' + (-524288 << 17)); 
} 


if (-1048576 << 17 !== 0) { 
  $ERROR('#565: -1048576 << 17 === 0. Actual: ' + (-1048576 << 17)); 
} 


if (-2097152 << 17 !== 0) { 
  $ERROR('#566: -2097152 << 17 === 0. Actual: ' + (-2097152 << 17)); 
} 


if (-4194304 << 17 !== 0) { 
  $ERROR('#567: -4194304 << 17 === 0. Actual: ' + (-4194304 << 17)); 
} 


if (-8388608 << 17 !== 0) { 
  $ERROR('#568: -8388608 << 17 === 0. Actual: ' + (-8388608 << 17)); 
} 


if (-16777216 << 17 !== 0) { 
  $ERROR('#569: -16777216 << 17 === 0. Actual: ' + (-16777216 << 17)); 
} 


if (-33554432 << 17 !== 0) { 
  $ERROR('#570: -33554432 << 17 === 0. Actual: ' + (-33554432 << 17)); 
} 


if (-67108864 << 17 !== 0) { 
  $ERROR('#571: -67108864 << 17 === 0. Actual: ' + (-67108864 << 17)); 
} 


if (-134217728 << 17 !== 0) { 
  $ERROR('#572: -134217728 << 17 === 0. Actual: ' + (-134217728 << 17)); 
} 


if (-268435456 << 17 !== 0) { 
  $ERROR('#573: -268435456 << 17 === 0. Actual: ' + (-268435456 << 17)); 
} 


if (-536870912 << 17 !== 0) { 
  $ERROR('#574: -536870912 << 17 === 0. Actual: ' + (-536870912 << 17)); 
} 


if (-1073741824 << 17 !== 0) { 
  $ERROR('#575: -1073741824 << 17 === 0. Actual: ' + (-1073741824 << 17)); 
} 


if (-2147483648 << 17 !== 0) { 
  $ERROR('#576: -2147483648 << 17 === 0. Actual: ' + (-2147483648 << 17)); 
} 


if (-1 << 18 !== -262144) { 
  $ERROR('#577: -1 << 18 === -262144. Actual: ' + (-1 << 18)); 
} 


if (-2 << 18 !== -524288) { 
  $ERROR('#578: -2 << 18 === -524288. Actual: ' + (-2 << 18)); 
} 


if (-4 << 18 !== -1048576) { 
  $ERROR('#579: -4 << 18 === -1048576. Actual: ' + (-4 << 18)); 
} 


if (-8 << 18 !== -2097152) { 
  $ERROR('#580: -8 << 18 === -2097152. Actual: ' + (-8 << 18)); 
} 


if (-16 << 18 !== -4194304) { 
  $ERROR('#581: -16 << 18 === -4194304. Actual: ' + (-16 << 18)); 
} 


if (-32 << 18 !== -8388608) { 
  $ERROR('#582: -32 << 18 === -8388608. Actual: ' + (-32 << 18)); 
} 


if (-64 << 18 !== -16777216) { 
  $ERROR('#583: -64 << 18 === -16777216. Actual: ' + (-64 << 18)); 
} 


if (-128 << 18 !== -33554432) { 
  $ERROR('#584: -128 << 18 === -33554432. Actual: ' + (-128 << 18)); 
} 


if (-256 << 18 !== -67108864) { 
  $ERROR('#585: -256 << 18 === -67108864. Actual: ' + (-256 << 18)); 
} 


if (-512 << 18 !== -134217728) { 
  $ERROR('#586: -512 << 18 === -134217728. Actual: ' + (-512 << 18)); 
} 


if (-1024 << 18 !== -268435456) { 
  $ERROR('#587: -1024 << 18 === -268435456. Actual: ' + (-1024 << 18)); 
} 


if (-2048 << 18 !== -536870912) { 
  $ERROR('#588: -2048 << 18 === -536870912. Actual: ' + (-2048 << 18)); 
} 


if (-4096 << 18 !== -1073741824) { 
  $ERROR('#589: -4096 << 18 === -1073741824. Actual: ' + (-4096 << 18)); 
} 


if (-8192 << 18 !== -2147483648) { 
  $ERROR('#590: -8192 << 18 === -2147483648. Actual: ' + (-8192 << 18)); 
} 


if (-16384 << 18 !== 0) { 
  $ERROR('#591: -16384 << 18 === 0. Actual: ' + (-16384 << 18)); 
} 


if (-32768 << 18 !== 0) { 
  $ERROR('#592: -32768 << 18 === 0. Actual: ' + (-32768 << 18)); 
} 


if (-65536 << 18 !== 0) { 
  $ERROR('#593: -65536 << 18 === 0. Actual: ' + (-65536 << 18)); 
} 


if (-131072 << 18 !== 0) { 
  $ERROR('#594: -131072 << 18 === 0. Actual: ' + (-131072 << 18)); 
} 


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


if (-524288 << 18 !== 0) { 
  $ERROR('#596: -524288 << 18 === 0. Actual: ' + (-524288 << 18)); 
} 


if (-1048576 << 18 !== 0) { 
  $ERROR('#597: -1048576 << 18 === 0. Actual: ' + (-1048576 << 18)); 
} 


if (-2097152 << 18 !== 0) { 
  $ERROR('#598: -2097152 << 18 === 0. Actual: ' + (-2097152 << 18)); 
} 


if (-4194304 << 18 !== 0) { 
  $ERROR('#599: -4194304 << 18 === 0. Actual: ' + (-4194304 << 18)); 
} 


if (-8388608 << 18 !== 0) { 
  $ERROR('#600: -8388608 << 18 === 0. Actual: ' + (-8388608 << 18)); 
} 


if (-16777216 << 18 !== 0) { 
  $ERROR('#601: -16777216 << 18 === 0. Actual: ' + (-16777216 << 18)); 
} 


if (-33554432 << 18 !== 0) { 
  $ERROR('#602: -33554432 << 18 === 0. Actual: ' + (-33554432 << 18)); 
} 


if (-67108864 << 18 !== 0) { 
  $ERROR('#603: -67108864 << 18 === 0. Actual: ' + (-67108864 << 18)); 
} 


if (-134217728 << 18 !== 0) { 
  $ERROR('#604: -134217728 << 18 === 0. Actual: ' + (-134217728 << 18)); 
} 


if (-268435456 << 18 !== 0) { 
  $ERROR('#605: -268435456 << 18 === 0. Actual: ' + (-268435456 << 18)); 
} 


if (-536870912 << 18 !== 0) { 
  $ERROR('#606: -536870912 << 18 === 0. Actual: ' + (-536870912 << 18)); 
} 


if (-1073741824 << 18 !== 0) { 
  $ERROR('#607: -1073741824 << 18 === 0. Actual: ' + (-1073741824 << 18)); 
} 


if (-2147483648 << 18 !== 0) { 
  $ERROR('#608: -2147483648 << 18 === 0. Actual: ' + (-2147483648 << 18)); 
} 


if (-1 << 19 !== -524288) { 
  $ERROR('#609: -1 << 19 === -524288. Actual: ' + (-1 << 19)); 
} 


if (-2 << 19 !== -1048576) { 
  $ERROR('#610: -2 << 19 === -1048576. Actual: ' + (-2 << 19)); 
} 


if (-4 << 19 !== -2097152) { 
  $ERROR('#611: -4 << 19 === -2097152. Actual: ' + (-4 << 19)); 
} 


if (-8 << 19 !== -4194304) { 
  $ERROR('#612: -8 << 19 === -4194304. Actual: ' + (-8 << 19)); 
} 


if (-16 << 19 !== -8388608) { 
  $ERROR('#613: -16 << 19 === -8388608. Actual: ' + (-16 << 19)); 
} 


if (-32 << 19 !== -16777216) { 
  $ERROR('#614: -32 << 19 === -16777216. Actual: ' + (-32 << 19)); 
} 


if (-64 << 19 !== -33554432) { 
  $ERROR('#615: -64 << 19 === -33554432. Actual: ' + (-64 << 19)); 
} 


if (-128 << 19 !== -67108864) { 
  $ERROR('#616: -128 << 19 === -67108864. Actual: ' + (-128 << 19)); 
} 


if (-256 << 19 !== -134217728) { 
  $ERROR('#617: -256 << 19 === -134217728. Actual: ' + (-256 << 19)); 
} 


if (-512 << 19 !== -268435456) { 
  $ERROR('#618: -512 << 19 === -268435456. Actual: ' + (-512 << 19)); 
} 


if (-1024 << 19 !== -536870912) { 
  $ERROR('#619: -1024 << 19 === -536870912. Actual: ' + (-1024 << 19)); 
} 


if (-2048 << 19 !== -1073741824) { 
  $ERROR('#620: -2048 << 19 === -1073741824. Actual: ' + (-2048 << 19)); 
} 


if (-4096 << 19 !== -2147483648) { 
  $ERROR('#621: -4096 << 19 === -2147483648. Actual: ' + (-4096 << 19)); 
} 


if (-8192 << 19 !== 0) { 
  $ERROR('#622: -8192 << 19 === 0. Actual: ' + (-8192 << 19)); 
} 


if (-16384 << 19 !== 0) { 
  $ERROR('#623: -16384 << 19 === 0. Actual: ' + (-16384 << 19)); 
} 


if (-32768 << 19 !== 0) { 
  $ERROR('#624: -32768 << 19 === 0. Actual: ' + (-32768 << 19)); 
} 


if (-65536 << 19 !== 0) { 
  $ERROR('#625: -65536 << 19 === 0. Actual: ' + (-65536 << 19)); 
} 


if (-131072 << 19 !== 0) { 
  $ERROR('#626: -131072 << 19 === 0. Actual: ' + (-131072 << 19)); 
} 


if (-262144 << 19 !== 0) { 
  $ERROR('#627: -262144 << 19 === 0. Actual: ' + (-262144 << 19)); 
} 


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


if (-1048576 << 19 !== 0) { 
  $ERROR('#629: -1048576 << 19 === 0. Actual: ' + (-1048576 << 19)); 
} 


if (-2097152 << 19 !== 0) { 
  $ERROR('#630: -2097152 << 19 === 0. Actual: ' + (-2097152 << 19)); 
} 


if (-4194304 << 19 !== 0) { 
  $ERROR('#631: -4194304 << 19 === 0. Actual: ' + (-4194304 << 19)); 
} 


if (-8388608 << 19 !== 0) { 
  $ERROR('#632: -8388608 << 19 === 0. Actual: ' + (-8388608 << 19)); 
} 


if (-16777216 << 19 !== 0) { 
  $ERROR('#633: -16777216 << 19 === 0. Actual: ' + (-16777216 << 19)); 
} 


if (-33554432 << 19 !== 0) { 
  $ERROR('#634: -33554432 << 19 === 0. Actual: ' + (-33554432 << 19)); 
} 


if (-67108864 << 19 !== 0) { 
  $ERROR('#635: -67108864 << 19 === 0. Actual: ' + (-67108864 << 19)); 
} 


if (-134217728 << 19 !== 0) { 
  $ERROR('#636: -134217728 << 19 === 0. Actual: ' + (-134217728 << 19)); 
} 


if (-268435456 << 19 !== 0) { 
  $ERROR('#637: -268435456 << 19 === 0. Actual: ' + (-268435456 << 19)); 
} 


if (-536870912 << 19 !== 0) { 
  $ERROR('#638: -536870912 << 19 === 0. Actual: ' + (-536870912 << 19)); 
} 


if (-1073741824 << 19 !== 0) { 
  $ERROR('#639: -1073741824 << 19 === 0. Actual: ' + (-1073741824 << 19)); 
} 


if (-2147483648 << 19 !== 0) { 
  $ERROR('#640: -2147483648 << 19 === 0. Actual: ' + (-2147483648 << 19)); 
} 


if (-1 << 20 !== -1048576) { 
  $ERROR('#641: -1 << 20 === -1048576. Actual: ' + (-1 << 20)); 
} 


if (-2 << 20 !== -2097152) { 
  $ERROR('#642: -2 << 20 === -2097152. Actual: ' + (-2 << 20)); 
} 


if (-4 << 20 !== -4194304) { 
  $ERROR('#643: -4 << 20 === -4194304. Actual: ' + (-4 << 20)); 
} 


if (-8 << 20 !== -8388608) { 
  $ERROR('#644: -8 << 20 === -8388608. Actual: ' + (-8 << 20)); 
} 


if (-16 << 20 !== -16777216) { 
  $ERROR('#645: -16 << 20 === -16777216. Actual: ' + (-16 << 20)); 
} 


if (-32 << 20 !== -33554432) { 
  $ERROR('#646: -32 << 20 === -33554432. Actual: ' + (-32 << 20)); 
} 


if (-64 << 20 !== -67108864) { 
  $ERROR('#647: -64 << 20 === -67108864. Actual: ' + (-64 << 20)); 
} 


if (-128 << 20 !== -134217728) { 
  $ERROR('#648: -128 << 20 === -134217728. Actual: ' + (-128 << 20)); 
} 


if (-256 << 20 !== -268435456) { 
  $ERROR('#649: -256 << 20 === -268435456. Actual: ' + (-256 << 20)); 
} 


if (-512 << 20 !== -536870912) { 
  $ERROR('#650: -512 << 20 === -536870912. Actual: ' + (-512 << 20)); 
} 


if (-1024 << 20 !== -1073741824) { 
  $ERROR('#651: -1024 << 20 === -1073741824. Actual: ' + (-1024 << 20)); 
} 


if (-2048 << 20 !== -2147483648) { 
  $ERROR('#652: -2048 << 20 === -2147483648. Actual: ' + (-2048 << 20)); 
} 


if (-4096 << 20 !== 0) { 
  $ERROR('#653: -4096 << 20 === 0. Actual: ' + (-4096 << 20)); 
} 


if (-8192 << 20 !== 0) { 
  $ERROR('#654: -8192 << 20 === 0. Actual: ' + (-8192 << 20)); 
} 


if (-16384 << 20 !== 0) { 
  $ERROR('#655: -16384 << 20 === 0. Actual: ' + (-16384 << 20)); 
} 


if (-32768 << 20 !== 0) { 
  $ERROR('#656: -32768 << 20 === 0. Actual: ' + (-32768 << 20)); 
} 


if (-65536 << 20 !== 0) { 
  $ERROR('#657: -65536 << 20 === 0. Actual: ' + (-65536 << 20)); 
} 


if (-131072 << 20 !== 0) { 
  $ERROR('#658: -131072 << 20 === 0. Actual: ' + (-131072 << 20)); 
} 


if (-262144 << 20 !== 0) { 
  $ERROR('#659: -262144 << 20 === 0. Actual: ' + (-262144 << 20)); 
} 


if (-524288 << 20 !== 0) { 
  $ERROR('#660: -524288 << 20 === 0. Actual: ' + (-524288 << 20)); 
} 


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


if (-2097152 << 20 !== 0) { 
  $ERROR('#662: -2097152 << 20 === 0. Actual: ' + (-2097152 << 20)); 
} 


if (-4194304 << 20 !== 0) { 
  $ERROR('#663: -4194304 << 20 === 0. Actual: ' + (-4194304 << 20)); 
} 


if (-8388608 << 20 !== 0) { 
  $ERROR('#664: -8388608 << 20 === 0. Actual: ' + (-8388608 << 20)); 
} 


if (-16777216 << 20 !== 0) { 
  $ERROR('#665: -16777216 << 20 === 0. Actual: ' + (-16777216 << 20)); 
} 


if (-33554432 << 20 !== 0) { 
  $ERROR('#666: -33554432 << 20 === 0. Actual: ' + (-33554432 << 20)); 
} 


if (-67108864 << 20 !== 0) { 
  $ERROR('#667: -67108864 << 20 === 0. Actual: ' + (-67108864 << 20)); 
} 


if (-134217728 << 20 !== 0) { 
  $ERROR('#668: -134217728 << 20 === 0. Actual: ' + (-134217728 << 20)); 
} 


if (-268435456 << 20 !== 0) { 
  $ERROR('#669: -268435456 << 20 === 0. Actual: ' + (-268435456 << 20)); 
} 


if (-536870912 << 20 !== 0) { 
  $ERROR('#670: -536870912 << 20 === 0. Actual: ' + (-536870912 << 20)); 
} 


if (-1073741824 << 20 !== 0) { 
  $ERROR('#671: -1073741824 << 20 === 0. Actual: ' + (-1073741824 << 20)); 
} 


if (-2147483648 << 20 !== 0) { 
  $ERROR('#672: -2147483648 << 20 === 0. Actual: ' + (-2147483648 << 20)); 
} 


if (-1 << 21 !== -2097152) { 
  $ERROR('#673: -1 << 21 === -2097152. Actual: ' + (-1 << 21)); 
} 


if (-2 << 21 !== -4194304) { 
  $ERROR('#674: -2 << 21 === -4194304. Actual: ' + (-2 << 21)); 
} 


if (-4 << 21 !== -8388608) { 
  $ERROR('#675: -4 << 21 === -8388608. Actual: ' + (-4 << 21)); 
} 


if (-8 << 21 !== -16777216) { 
  $ERROR('#676: -8 << 21 === -16777216. Actual: ' + (-8 << 21)); 
} 


if (-16 << 21 !== -33554432) { 
  $ERROR('#677: -16 << 21 === -33554432. Actual: ' + (-16 << 21)); 
} 


if (-32 << 21 !== -67108864) { 
  $ERROR('#678: -32 << 21 === -67108864. Actual: ' + (-32 << 21)); 
} 


if (-64 << 21 !== -134217728) { 
  $ERROR('#679: -64 << 21 === -134217728. Actual: ' + (-64 << 21)); 
} 


if (-128 << 21 !== -268435456) { 
  $ERROR('#680: -128 << 21 === -268435456. Actual: ' + (-128 << 21)); 
} 


if (-256 << 21 !== -536870912) { 
  $ERROR('#681: -256 << 21 === -536870912. Actual: ' + (-256 << 21)); 
} 


if (-512 << 21 !== -1073741824) { 
  $ERROR('#682: -512 << 21 === -1073741824. Actual: ' + (-512 << 21)); 
} 


if (-1024 << 21 !== -2147483648) { 
  $ERROR('#683: -1024 << 21 === -2147483648. Actual: ' + (-1024 << 21)); 
} 


if (-2048 << 21 !== 0) { 
  $ERROR('#684: -2048 << 21 === 0. Actual: ' + (-2048 << 21)); 
} 


if (-4096 << 21 !== 0) { 
  $ERROR('#685: -4096 << 21 === 0. Actual: ' + (-4096 << 21)); 
} 


if (-8192 << 21 !== 0) { 
  $ERROR('#686: -8192 << 21 === 0. Actual: ' + (-8192 << 21)); 
} 


if (-16384 << 21 !== 0) { 
  $ERROR('#687: -16384 << 21 === 0. Actual: ' + (-16384 << 21)); 
} 


if (-32768 << 21 !== 0) { 
  $ERROR('#688: -32768 << 21 === 0. Actual: ' + (-32768 << 21)); 
} 


if (-65536 << 21 !== 0) { 
  $ERROR('#689: -65536 << 21 === 0. Actual: ' + (-65536 << 21)); 
} 


if (-131072 << 21 !== 0) { 
  $ERROR('#690: -131072 << 21 === 0. Actual: ' + (-131072 << 21)); 
} 


if (-262144 << 21 !== 0) { 
  $ERROR('#691: -262144 << 21 === 0. Actual: ' + (-262144 << 21)); 
} 


if (-524288 << 21 !== 0) { 
  $ERROR('#692: -524288 << 21 === 0. Actual: ' + (-524288 << 21)); 
} 


if (-1048576 << 21 !== 0) { 
  $ERROR('#693: -1048576 << 21 === 0. Actual: ' + (-1048576 << 21)); 
} 


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


if (-4194304 << 21 !== 0) { 
  $ERROR('#695: -4194304 << 21 === 0. Actual: ' + (-4194304 << 21)); 
} 


if (-8388608 << 21 !== 0) { 
  $ERROR('#696: -8388608 << 21 === 0. Actual: ' + (-8388608 << 21)); 
} 


if (-16777216 << 21 !== 0) { 
  $ERROR('#697: -16777216 << 21 === 0. Actual: ' + (-16777216 << 21)); 
} 


if (-33554432 << 21 !== 0) { 
  $ERROR('#698: -33554432 << 21 === 0. Actual: ' + (-33554432 << 21)); 
} 


if (-67108864 << 21 !== 0) { 
  $ERROR('#699: -67108864 << 21 === 0. Actual: ' + (-67108864 << 21)); 
} 


if (-134217728 << 21 !== 0) { 
  $ERROR('#700: -134217728 << 21 === 0. Actual: ' + (-134217728 << 21)); 
} 


if (-268435456 << 21 !== 0) { 
  $ERROR('#701: -268435456 << 21 === 0. Actual: ' + (-268435456 << 21)); 
} 


if (-536870912 << 21 !== 0) { 
  $ERROR('#702: -536870912 << 21 === 0. Actual: ' + (-536870912 << 21)); 
} 


if (-1073741824 << 21 !== 0) { 
  $ERROR('#703: -1073741824 << 21 === 0. Actual: ' + (-1073741824 << 21)); 
} 


if (-2147483648 << 21 !== 0) { 
  $ERROR('#704: -2147483648 << 21 === 0. Actual: ' + (-2147483648 << 21)); 
} 


if (-1 << 22 !== -4194304) { 
  $ERROR('#705: -1 << 22 === -4194304. Actual: ' + (-1 << 22)); 
} 


if (-2 << 22 !== -8388608) { 
  $ERROR('#706: -2 << 22 === -8388608. Actual: ' + (-2 << 22)); 
} 


if (-4 << 22 !== -16777216) { 
  $ERROR('#707: -4 << 22 === -16777216. Actual: ' + (-4 << 22)); 
} 


if (-8 << 22 !== -33554432) { 
  $ERROR('#708: -8 << 22 === -33554432. Actual: ' + (-8 << 22)); 
} 


if (-16 << 22 !== -67108864) { 
  $ERROR('#709: -16 << 22 === -67108864. Actual: ' + (-16 << 22)); 
} 


if (-32 << 22 !== -134217728) { 
  $ERROR('#710: -32 << 22 === -134217728. Actual: ' + (-32 << 22)); 
} 


if (-64 << 22 !== -268435456) { 
  $ERROR('#711: -64 << 22 === -268435456. Actual: ' + (-64 << 22)); 
} 


if (-128 << 22 !== -536870912) { 
  $ERROR('#712: -128 << 22 === -536870912. Actual: ' + (-128 << 22)); 
} 


if (-256 << 22 !== -1073741824) { 
  $ERROR('#713: -256 << 22 === -1073741824. Actual: ' + (-256 << 22)); 
} 


if (-512 << 22 !== -2147483648) { 
  $ERROR('#714: -512 << 22 === -2147483648. Actual: ' + (-512 << 22)); 
} 


if (-1024 << 22 !== 0) { 
  $ERROR('#715: -1024 << 22 === 0. Actual: ' + (-1024 << 22)); 
} 


if (-2048 << 22 !== 0) { 
  $ERROR('#716: -2048 << 22 === 0. Actual: ' + (-2048 << 22)); 
} 


if (-4096 << 22 !== 0) { 
  $ERROR('#717: -4096 << 22 === 0. Actual: ' + (-4096 << 22)); 
} 


if (-8192 << 22 !== 0) { 
  $ERROR('#718: -8192 << 22 === 0. Actual: ' + (-8192 << 22)); 
} 


if (-16384 << 22 !== 0) { 
  $ERROR('#719: -16384 << 22 === 0. Actual: ' + (-16384 << 22)); 
} 


if (-32768 << 22 !== 0) { 
  $ERROR('#720: -32768 << 22 === 0. Actual: ' + (-32768 << 22)); 
} 


if (-65536 << 22 !== 0) { 
  $ERROR('#721: -65536 << 22 === 0. Actual: ' + (-65536 << 22)); 
} 


if (-131072 << 22 !== 0) { 
  $ERROR('#722: -131072 << 22 === 0. Actual: ' + (-131072 << 22)); 
} 


if (-262144 << 22 !== 0) { 
  $ERROR('#723: -262144 << 22 === 0. Actual: ' + (-262144 << 22)); 
} 


if (-524288 << 22 !== 0) { 
  $ERROR('#724: -524288 << 22 === 0. Actual: ' + (-524288 << 22)); 
} 


if (-1048576 << 22 !== 0) { 
  $ERROR('#725: -1048576 << 22 === 0. Actual: ' + (-1048576 << 22)); 
} 


if (-2097152 << 22 !== 0) { 
  $ERROR('#726: -2097152 << 22 === 0. Actual: ' + (-2097152 << 22)); 
} 


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


if (-8388608 << 22 !== 0) { 
  $ERROR('#728: -8388608 << 22 === 0. Actual: ' + (-8388608 << 22)); 
} 


if (-16777216 << 22 !== 0) { 
  $ERROR('#729: -16777216 << 22 === 0. Actual: ' + (-16777216 << 22)); 
} 


if (-33554432 << 22 !== 0) { 
  $ERROR('#730: -33554432 << 22 === 0. Actual: ' + (-33554432 << 22)); 
} 


if (-67108864 << 22 !== 0) { 
  $ERROR('#731: -67108864 << 22 === 0. Actual: ' + (-67108864 << 22)); 
} 


if (-134217728 << 22 !== 0) { 
  $ERROR('#732: -134217728 << 22 === 0. Actual: ' + (-134217728 << 22)); 
} 


if (-268435456 << 22 !== 0) { 
  $ERROR('#733: -268435456 << 22 === 0. Actual: ' + (-268435456 << 22)); 
} 


if (-536870912 << 22 !== 0) { 
  $ERROR('#734: -536870912 << 22 === 0. Actual: ' + (-536870912 << 22)); 
} 


if (-1073741824 << 22 !== 0) { 
  $ERROR('#735: -1073741824 << 22 === 0. Actual: ' + (-1073741824 << 22)); 
} 


if (-2147483648 << 22 !== 0) { 
  $ERROR('#736: -2147483648 << 22 === 0. Actual: ' + (-2147483648 << 22)); 
} 


if (-1 << 23 !== -8388608) { 
  $ERROR('#737: -1 << 23 === -8388608. Actual: ' + (-1 << 23)); 
} 


if (-2 << 23 !== -16777216) { 
  $ERROR('#738: -2 << 23 === -16777216. Actual: ' + (-2 << 23)); 
} 


if (-4 << 23 !== -33554432) { 
  $ERROR('#739: -4 << 23 === -33554432. Actual: ' + (-4 << 23)); 
} 


if (-8 << 23 !== -67108864) { 
  $ERROR('#740: -8 << 23 === -67108864. Actual: ' + (-8 << 23)); 
} 


if (-16 << 23 !== -134217728) { 
  $ERROR('#741: -16 << 23 === -134217728. Actual: ' + (-16 << 23)); 
} 


if (-32 << 23 !== -268435456) { 
  $ERROR('#742: -32 << 23 === -268435456. Actual: ' + (-32 << 23)); 
} 


if (-64 << 23 !== -536870912) { 
  $ERROR('#743: -64 << 23 === -536870912. Actual: ' + (-64 << 23)); 
} 


if (-128 << 23 !== -1073741824) { 
  $ERROR('#744: -128 << 23 === -1073741824. Actual: ' + (-128 << 23)); 
} 


if (-256 << 23 !== -2147483648) { 
  $ERROR('#745: -256 << 23 === -2147483648. Actual: ' + (-256 << 23)); 
} 


if (-512 << 23 !== 0) { 
  $ERROR('#746: -512 << 23 === 0. Actual: ' + (-512 << 23)); 
} 


if (-1024 << 23 !== 0) { 
  $ERROR('#747: -1024 << 23 === 0. Actual: ' + (-1024 << 23)); 
} 


if (-2048 << 23 !== 0) { 
  $ERROR('#748: -2048 << 23 === 0. Actual: ' + (-2048 << 23)); 
} 


if (-4096 << 23 !== 0) { 
  $ERROR('#749: -4096 << 23 === 0. Actual: ' + (-4096 << 23)); 
} 


if (-8192 << 23 !== 0) { 
  $ERROR('#750: -8192 << 23 === 0. Actual: ' + (-8192 << 23)); 
} 


if (-16384 << 23 !== 0) { 
  $ERROR('#751: -16384 << 23 === 0. Actual: ' + (-16384 << 23)); 
} 


if (-32768 << 23 !== 0) { 
  $ERROR('#752: -32768 << 23 === 0. Actual: ' + (-32768 << 23)); 
} 


if (-65536 << 23 !== 0) { 
  $ERROR('#753: -65536 << 23 === 0. Actual: ' + (-65536 << 23)); 
} 


if (-131072 << 23 !== 0) { 
  $ERROR('#754: -131072 << 23 === 0. Actual: ' + (-131072 << 23)); 
} 


if (-262144 << 23 !== 0) { 
  $ERROR('#755: -262144 << 23 === 0. Actual: ' + (-262144 << 23)); 
} 


if (-524288 << 23 !== 0) { 
  $ERROR('#756: -524288 << 23 === 0. Actual: ' + (-524288 << 23)); 
} 


if (-1048576 << 23 !== 0) { 
  $ERROR('#757: -1048576 << 23 === 0. Actual: ' + (-1048576 << 23)); 
} 


if (-2097152 << 23 !== 0) { 
  $ERROR('#758: -2097152 << 23 === 0. Actual: ' + (-2097152 << 23)); 
} 


if (-4194304 << 23 !== 0) { 
  $ERROR('#759: -4194304 << 23 === 0. Actual: ' + (-4194304 << 23)); 
} 


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


if (-16777216 << 23 !== 0) { 
  $ERROR('#761: -16777216 << 23 === 0. Actual: ' + (-16777216 << 23)); 
} 


if (-33554432 << 23 !== 0) { 
  $ERROR('#762: -33554432 << 23 === 0. Actual: ' + (-33554432 << 23)); 
} 


if (-67108864 << 23 !== 0) { 
  $ERROR('#763: -67108864 << 23 === 0. Actual: ' + (-67108864 << 23)); 
} 


if (-134217728 << 23 !== 0) { 
  $ERROR('#764: -134217728 << 23 === 0. Actual: ' + (-134217728 << 23)); 
} 


if (-268435456 << 23 !== 0) { 
  $ERROR('#765: -268435456 << 23 === 0. Actual: ' + (-268435456 << 23)); 
} 


if (-536870912 << 23 !== 0) { 
  $ERROR('#766: -536870912 << 23 === 0. Actual: ' + (-536870912 << 23)); 
} 


if (-1073741824 << 23 !== 0) { 
  $ERROR('#767: -1073741824 << 23 === 0. Actual: ' + (-1073741824 << 23)); 
} 


if (-2147483648 << 23 !== 0) { 
  $ERROR('#768: -2147483648 << 23 === 0. Actual: ' + (-2147483648 << 23)); 
} 


if (-1 << 24 !== -16777216) { 
  $ERROR('#769: -1 << 24 === -16777216. Actual: ' + (-1 << 24)); 
} 


if (-2 << 24 !== -33554432) { 
  $ERROR('#770: -2 << 24 === -33554432. Actual: ' + (-2 << 24)); 
} 


if (-4 << 24 !== -67108864) { 
  $ERROR('#771: -4 << 24 === -67108864. Actual: ' + (-4 << 24)); 
} 


if (-8 << 24 !== -134217728) { 
  $ERROR('#772: -8 << 24 === -134217728. Actual: ' + (-8 << 24)); 
} 


if (-16 << 24 !== -268435456) { 
  $ERROR('#773: -16 << 24 === -268435456. Actual: ' + (-16 << 24)); 
} 


if (-32 << 24 !== -536870912) { 
  $ERROR('#774: -32 << 24 === -536870912. Actual: ' + (-32 << 24)); 
} 


if (-64 << 24 !== -1073741824) { 
  $ERROR('#775: -64 << 24 === -1073741824. Actual: ' + (-64 << 24)); 
} 


if (-128 << 24 !== -2147483648) { 
  $ERROR('#776: -128 << 24 === -2147483648. Actual: ' + (-128 << 24)); 
} 


if (-256 << 24 !== 0) { 
  $ERROR('#777: -256 << 24 === 0. Actual: ' + (-256 << 24)); 
} 


if (-512 << 24 !== 0) { 
  $ERROR('#778: -512 << 24 === 0. Actual: ' + (-512 << 24)); 
} 


if (-1024 << 24 !== 0) { 
  $ERROR('#779: -1024 << 24 === 0. Actual: ' + (-1024 << 24)); 
} 


if (-2048 << 24 !== 0) { 
  $ERROR('#780: -2048 << 24 === 0. Actual: ' + (-2048 << 24)); 
} 


if (-4096 << 24 !== 0) { 
  $ERROR('#781: -4096 << 24 === 0. Actual: ' + (-4096 << 24)); 
} 


if (-8192 << 24 !== 0) { 
  $ERROR('#782: -8192 << 24 === 0. Actual: ' + (-8192 << 24)); 
} 


if (-16384 << 24 !== 0) { 
  $ERROR('#783: -16384 << 24 === 0. Actual: ' + (-16384 << 24)); 
} 


if (-32768 << 24 !== 0) { 
  $ERROR('#784: -32768 << 24 === 0. Actual: ' + (-32768 << 24)); 
} 


if (-65536 << 24 !== 0) { 
  $ERROR('#785: -65536 << 24 === 0. Actual: ' + (-65536 << 24)); 
} 


if (-131072 << 24 !== 0) { 
  $ERROR('#786: -131072 << 24 === 0. Actual: ' + (-131072 << 24)); 
} 


if (-262144 << 24 !== 0) { 
  $ERROR('#787: -262144 << 24 === 0. Actual: ' + (-262144 << 24)); 
} 


if (-524288 << 24 !== 0) { 
  $ERROR('#788: -524288 << 24 === 0. Actual: ' + (-524288 << 24)); 
} 


if (-1048576 << 24 !== 0) { 
  $ERROR('#789: -1048576 << 24 === 0. Actual: ' + (-1048576 << 24)); 
} 


if (-2097152 << 24 !== 0) { 
  $ERROR('#790: -2097152 << 24 === 0. Actual: ' + (-2097152 << 24)); 
} 


if (-4194304 << 24 !== 0) { 
  $ERROR('#791: -4194304 << 24 === 0. Actual: ' + (-4194304 << 24)); 
} 


if (-8388608 << 24 !== 0) { 
  $ERROR('#792: -8388608 << 24 === 0. Actual: ' + (-8388608 << 24)); 
} 


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


if (-33554432 << 24 !== 0) { 
  $ERROR('#794: -33554432 << 24 === 0. Actual: ' + (-33554432 << 24)); 
} 


if (-67108864 << 24 !== 0) { 
  $ERROR('#795: -67108864 << 24 === 0. Actual: ' + (-67108864 << 24)); 
} 


if (-134217728 << 24 !== 0) { 
  $ERROR('#796: -134217728 << 24 === 0. Actual: ' + (-134217728 << 24)); 
} 


if (-268435456 << 24 !== 0) { 
  $ERROR('#797: -268435456 << 24 === 0. Actual: ' + (-268435456 << 24)); 
} 


if (-536870912 << 24 !== 0) { 
  $ERROR('#798: -536870912 << 24 === 0. Actual: ' + (-536870912 << 24)); 
} 


if (-1073741824 << 24 !== 0) { 
  $ERROR('#799: -1073741824 << 24 === 0. Actual: ' + (-1073741824 << 24)); 
} 


if (-2147483648 << 24 !== 0) { 
  $ERROR('#800: -2147483648 << 24 === 0. Actual: ' + (-2147483648 << 24)); 
} 


if (-1 << 25 !== -33554432) { 
  $ERROR('#801: -1 << 25 === -33554432. Actual: ' + (-1 << 25)); 
} 


if (-2 << 25 !== -67108864) { 
  $ERROR('#802: -2 << 25 === -67108864. Actual: ' + (-2 << 25)); 
} 


if (-4 << 25 !== -134217728) { 
  $ERROR('#803: -4 << 25 === -134217728. Actual: ' + (-4 << 25)); 
} 


if (-8 << 25 !== -268435456) { 
  $ERROR('#804: -8 << 25 === -268435456. Actual: ' + (-8 << 25)); 
} 


if (-16 << 25 !== -536870912) { 
  $ERROR('#805: -16 << 25 === -536870912. Actual: ' + (-16 << 25)); 
} 


if (-32 << 25 !== -1073741824) { 
  $ERROR('#806: -32 << 25 === -1073741824. Actual: ' + (-32 << 25)); 
} 


if (-64 << 25 !== -2147483648) { 
  $ERROR('#807: -64 << 25 === -2147483648. Actual: ' + (-64 << 25)); 
} 


if (-128 << 25 !== 0) { 
  $ERROR('#808: -128 << 25 === 0. Actual: ' + (-128 << 25)); 
} 


if (-256 << 25 !== 0) { 
  $ERROR('#809: -256 << 25 === 0. Actual: ' + (-256 << 25)); 
} 


if (-512 << 25 !== 0) { 
  $ERROR('#810: -512 << 25 === 0. Actual: ' + (-512 << 25)); 
} 


if (-1024 << 25 !== 0) { 
  $ERROR('#811: -1024 << 25 === 0. Actual: ' + (-1024 << 25)); 
} 


if (-2048 << 25 !== 0) { 
  $ERROR('#812: -2048 << 25 === 0. Actual: ' + (-2048 << 25)); 
} 


if (-4096 << 25 !== 0) { 
  $ERROR('#813: -4096 << 25 === 0. Actual: ' + (-4096 << 25)); 
} 


if (-8192 << 25 !== 0) { 
  $ERROR('#814: -8192 << 25 === 0. Actual: ' + (-8192 << 25)); 
} 


if (-16384 << 25 !== 0) { 
  $ERROR('#815: -16384 << 25 === 0. Actual: ' + (-16384 << 25)); 
} 


if (-32768 << 25 !== 0) { 
  $ERROR('#816: -32768 << 25 === 0. Actual: ' + (-32768 << 25)); 
} 


if (-65536 << 25 !== 0) { 
  $ERROR('#817: -65536 << 25 === 0. Actual: ' + (-65536 << 25)); 
} 


if (-131072 << 25 !== 0) { 
  $ERROR('#818: -131072 << 25 === 0. Actual: ' + (-131072 << 25)); 
} 


if (-262144 << 25 !== 0) { 
  $ERROR('#819: -262144 << 25 === 0. Actual: ' + (-262144 << 25)); 
} 


if (-524288 << 25 !== 0) { 
  $ERROR('#820: -524288 << 25 === 0. Actual: ' + (-524288 << 25)); 
} 


if (-1048576 << 25 !== 0) { 
  $ERROR('#821: -1048576 << 25 === 0. Actual: ' + (-1048576 << 25)); 
} 


if (-2097152 << 25 !== 0) { 
  $ERROR('#822: -2097152 << 25 === 0. Actual: ' + (-2097152 << 25)); 
} 


if (-4194304 << 25 !== 0) { 
  $ERROR('#823: -4194304 << 25 === 0. Actual: ' + (-4194304 << 25)); 
} 


if (-8388608 << 25 !== 0) { 
  $ERROR('#824: -8388608 << 25 === 0. Actual: ' + (-8388608 << 25)); 
} 


if (-16777216 << 25 !== 0) { 
  $ERROR('#825: -16777216 << 25 === 0. Actual: ' + (-16777216 << 25)); 
} 


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


if (-67108864 << 25 !== 0) { 
  $ERROR('#827: -67108864 << 25 === 0. Actual: ' + (-67108864 << 25)); 
} 


if (-134217728 << 25 !== 0) { 
  $ERROR('#828: -134217728 << 25 === 0. Actual: ' + (-134217728 << 25)); 
} 


if (-268435456 << 25 !== 0) { 
  $ERROR('#829: -268435456 << 25 === 0. Actual: ' + (-268435456 << 25)); 
} 


if (-536870912 << 25 !== 0) { 
  $ERROR('#830: -536870912 << 25 === 0. Actual: ' + (-536870912 << 25)); 
} 


if (-1073741824 << 25 !== 0) { 
  $ERROR('#831: -1073741824 << 25 === 0. Actual: ' + (-1073741824 << 25)); 
} 


if (-2147483648 << 25 !== 0) { 
  $ERROR('#832: -2147483648 << 25 === 0. Actual: ' + (-2147483648 << 25)); 
} 


if (-1 << 26 !== -67108864) { 
  $ERROR('#833: -1 << 26 === -67108864. Actual: ' + (-1 << 26)); 
} 


if (-2 << 26 !== -134217728) { 
  $ERROR('#834: -2 << 26 === -134217728. Actual: ' + (-2 << 26)); 
} 


if (-4 << 26 !== -268435456) { 
  $ERROR('#835: -4 << 26 === -268435456. Actual: ' + (-4 << 26)); 
} 


if (-8 << 26 !== -536870912) { 
  $ERROR('#836: -8 << 26 === -536870912. Actual: ' + (-8 << 26)); 
} 


if (-16 << 26 !== -1073741824) { 
  $ERROR('#837: -16 << 26 === -1073741824. Actual: ' + (-16 << 26)); 
} 


if (-32 << 26 !== -2147483648) { 
  $ERROR('#838: -32 << 26 === -2147483648. Actual: ' + (-32 << 26)); 
} 


if (-64 << 26 !== 0) { 
  $ERROR('#839: -64 << 26 === 0. Actual: ' + (-64 << 26)); 
} 


if (-128 << 26 !== 0) { 
  $ERROR('#840: -128 << 26 === 0. Actual: ' + (-128 << 26)); 
} 


if (-256 << 26 !== 0) { 
  $ERROR('#841: -256 << 26 === 0. Actual: ' + (-256 << 26)); 
} 


if (-512 << 26 !== 0) { 
  $ERROR('#842: -512 << 26 === 0. Actual: ' + (-512 << 26)); 
} 


if (-1024 << 26 !== 0) { 
  $ERROR('#843: -1024 << 26 === 0. Actual: ' + (-1024 << 26)); 
} 


if (-2048 << 26 !== 0) { 
  $ERROR('#844: -2048 << 26 === 0. Actual: ' + (-2048 << 26)); 
} 


if (-4096 << 26 !== 0) { 
  $ERROR('#845: -4096 << 26 === 0. Actual: ' + (-4096 << 26)); 
} 


if (-8192 << 26 !== 0) { 
  $ERROR('#846: -8192 << 26 === 0. Actual: ' + (-8192 << 26)); 
} 


if (-16384 << 26 !== 0) { 
  $ERROR('#847: -16384 << 26 === 0. Actual: ' + (-16384 << 26)); 
} 


if (-32768 << 26 !== 0) { 
  $ERROR('#848: -32768 << 26 === 0. Actual: ' + (-32768 << 26)); 
} 


if (-65536 << 26 !== 0) { 
  $ERROR('#849: -65536 << 26 === 0. Actual: ' + (-65536 << 26)); 
} 


if (-131072 << 26 !== 0) { 
  $ERROR('#850: -131072 << 26 === 0. Actual: ' + (-131072 << 26)); 
} 


if (-262144 << 26 !== 0) { 
  $ERROR('#851: -262144 << 26 === 0. Actual: ' + (-262144 << 26)); 
} 


if (-524288 << 26 !== 0) { 
  $ERROR('#852: -524288 << 26 === 0. Actual: ' + (-524288 << 26)); 
} 


if (-1048576 << 26 !== 0) { 
  $ERROR('#853: -1048576 << 26 === 0. Actual: ' + (-1048576 << 26)); 
} 


if (-2097152 << 26 !== 0) { 
  $ERROR('#854: -2097152 << 26 === 0. Actual: ' + (-2097152 << 26)); 
} 


if (-4194304 << 26 !== 0) { 
  $ERROR('#855: -4194304 << 26 === 0. Actual: ' + (-4194304 << 26)); 
} 


if (-8388608 << 26 !== 0) { 
  $ERROR('#856: -8388608 << 26 === 0. Actual: ' + (-8388608 << 26)); 
} 


if (-16777216 << 26 !== 0) { 
  $ERROR('#857: -16777216 << 26 === 0. Actual: ' + (-16777216 << 26)); 
} 


if (-33554432 << 26 !== 0) { 
  $ERROR('#858: -33554432 << 26 === 0. Actual: ' + (-33554432 << 26)); 
} 


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


if (-134217728 << 26 !== 0) { 
  $ERROR('#860: -134217728 << 26 === 0. Actual: ' + (-134217728 << 26)); 
} 


if (-268435456 << 26 !== 0) { 
  $ERROR('#861: -268435456 << 26 === 0. Actual: ' + (-268435456 << 26)); 
} 


if (-536870912 << 26 !== 0) { 
  $ERROR('#862: -536870912 << 26 === 0. Actual: ' + (-536870912 << 26)); 
} 


if (-1073741824 << 26 !== 0) { 
  $ERROR('#863: -1073741824 << 26 === 0. Actual: ' + (-1073741824 << 26)); 
} 


if (-2147483648 << 26 !== 0) { 
  $ERROR('#864: -2147483648 << 26 === 0. Actual: ' + (-2147483648 << 26)); 
} 


if (-1 << 27 !== -134217728) { 
  $ERROR('#865: -1 << 27 === -134217728. Actual: ' + (-1 << 27)); 
} 


if (-2 << 27 !== -268435456) { 
  $ERROR('#866: -2 << 27 === -268435456. Actual: ' + (-2 << 27)); 
} 


if (-4 << 27 !== -536870912) { 
  $ERROR('#867: -4 << 27 === -536870912. Actual: ' + (-4 << 27)); 
} 


if (-8 << 27 !== -1073741824) { 
  $ERROR('#868: -8 << 27 === -1073741824. Actual: ' + (-8 << 27)); 
} 


if (-16 << 27 !== -2147483648) { 
  $ERROR('#869: -16 << 27 === -2147483648. Actual: ' + (-16 << 27)); 
} 


if (-32 << 27 !== 0) { 
  $ERROR('#870: -32 << 27 === 0. Actual: ' + (-32 << 27)); 
} 


if (-64 << 27 !== 0) { 
  $ERROR('#871: -64 << 27 === 0. Actual: ' + (-64 << 27)); 
} 


if (-128 << 27 !== 0) { 
  $ERROR('#872: -128 << 27 === 0. Actual: ' + (-128 << 27)); 
} 


if (-256 << 27 !== 0) { 
  $ERROR('#873: -256 << 27 === 0. Actual: ' + (-256 << 27)); 
} 


if (-512 << 27 !== 0) { 
  $ERROR('#874: -512 << 27 === 0. Actual: ' + (-512 << 27)); 
} 


if (-1024 << 27 !== 0) { 
  $ERROR('#875: -1024 << 27 === 0. Actual: ' + (-1024 << 27)); 
} 


if (-2048 << 27 !== 0) { 
  $ERROR('#876: -2048 << 27 === 0. Actual: ' + (-2048 << 27)); 
} 


if (-4096 << 27 !== 0) { 
  $ERROR('#877: -4096 << 27 === 0. Actual: ' + (-4096 << 27)); 
} 


if (-8192 << 27 !== 0) { 
  $ERROR('#878: -8192 << 27 === 0. Actual: ' + (-8192 << 27)); 
} 


if (-16384 << 27 !== 0) { 
  $ERROR('#879: -16384 << 27 === 0. Actual: ' + (-16384 << 27)); 
} 


if (-32768 << 27 !== 0) { 
  $ERROR('#880: -32768 << 27 === 0. Actual: ' + (-32768 << 27)); 
} 


if (-65536 << 27 !== 0) { 
  $ERROR('#881: -65536 << 27 === 0. Actual: ' + (-65536 << 27)); 
} 


if (-131072 << 27 !== 0) { 
  $ERROR('#882: -131072 << 27 === 0. Actual: ' + (-131072 << 27)); 
} 


if (-262144 << 27 !== 0) { 
  $ERROR('#883: -262144 << 27 === 0. Actual: ' + (-262144 << 27)); 
} 


if (-524288 << 27 !== 0) { 
  $ERROR('#884: -524288 << 27 === 0. Actual: ' + (-524288 << 27)); 
} 


if (-1048576 << 27 !== 0) { 
  $ERROR('#885: -1048576 << 27 === 0. Actual: ' + (-1048576 << 27)); 
} 


if (-2097152 << 27 !== 0) { 
  $ERROR('#886: -2097152 << 27 === 0. Actual: ' + (-2097152 << 27)); 
} 


if (-4194304 << 27 !== 0) { 
  $ERROR('#887: -4194304 << 27 === 0. Actual: ' + (-4194304 << 27)); 
} 


if (-8388608 << 27 !== 0) { 
  $ERROR('#888: -8388608 << 27 === 0. Actual: ' + (-8388608 << 27)); 
} 


if (-16777216 << 27 !== 0) { 
  $ERROR('#889: -16777216 << 27 === 0. Actual: ' + (-16777216 << 27)); 
} 


if (-33554432 << 27 !== 0) { 
  $ERROR('#890: -33554432 << 27 === 0. Actual: ' + (-33554432 << 27)); 
} 


if (-67108864 << 27 !== 0) { 
  $ERROR('#891: -67108864 << 27 === 0. Actual: ' + (-67108864 << 27)); 
} 


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


if (-268435456 << 27 !== 0) { 
  $ERROR('#893: -268435456 << 27 === 0. Actual: ' + (-268435456 << 27)); 
} 


if (-536870912 << 27 !== 0) { 
  $ERROR('#894: -536870912 << 27 === 0. Actual: ' + (-536870912 << 27)); 
} 


if (-1073741824 << 27 !== 0) { 
  $ERROR('#895: -1073741824 << 27 === 0. Actual: ' + (-1073741824 << 27)); 
} 


if (-2147483648 << 27 !== 0) { 
  $ERROR('#896: -2147483648 << 27 === 0. Actual: ' + (-2147483648 << 27)); 
} 


if (-1 << 28 !== -268435456) { 
  $ERROR('#897: -1 << 28 === -268435456. Actual: ' + (-1 << 28)); 
} 


if (-2 << 28 !== -536870912) { 
  $ERROR('#898: -2 << 28 === -536870912. Actual: ' + (-2 << 28)); 
} 


if (-4 << 28 !== -1073741824) { 
  $ERROR('#899: -4 << 28 === -1073741824. Actual: ' + (-4 << 28)); 
} 


if (-8 << 28 !== -2147483648) { 
  $ERROR('#900: -8 << 28 === -2147483648. Actual: ' + (-8 << 28)); 
} 


if (-16 << 28 !== 0) { 
  $ERROR('#901: -16 << 28 === 0. Actual: ' + (-16 << 28)); 
} 


if (-32 << 28 !== 0) { 
  $ERROR('#902: -32 << 28 === 0. Actual: ' + (-32 << 28)); 
} 


if (-64 << 28 !== 0) { 
  $ERROR('#903: -64 << 28 === 0. Actual: ' + (-64 << 28)); 
} 


if (-128 << 28 !== 0) { 
  $ERROR('#904: -128 << 28 === 0. Actual: ' + (-128 << 28)); 
} 


if (-256 << 28 !== 0) { 
  $ERROR('#905: -256 << 28 === 0. Actual: ' + (-256 << 28)); 
} 


if (-512 << 28 !== 0) { 
  $ERROR('#906: -512 << 28 === 0. Actual: ' + (-512 << 28)); 
} 


if (-1024 << 28 !== 0) { 
  $ERROR('#907: -1024 << 28 === 0. Actual: ' + (-1024 << 28)); 
} 


if (-2048 << 28 !== 0) { 
  $ERROR('#908: -2048 << 28 === 0. Actual: ' + (-2048 << 28)); 
} 


if (-4096 << 28 !== 0) { 
  $ERROR('#909: -4096 << 28 === 0. Actual: ' + (-4096 << 28)); 
} 


if (-8192 << 28 !== 0) { 
  $ERROR('#910: -8192 << 28 === 0. Actual: ' + (-8192 << 28)); 
} 


if (-16384 << 28 !== 0) { 
  $ERROR('#911: -16384 << 28 === 0. Actual: ' + (-16384 << 28)); 
} 


if (-32768 << 28 !== 0) { 
  $ERROR('#912: -32768 << 28 === 0. Actual: ' + (-32768 << 28)); 
} 


if (-65536 << 28 !== 0) { 
  $ERROR('#913: -65536 << 28 === 0. Actual: ' + (-65536 << 28)); 
} 


if (-131072 << 28 !== 0) { 
  $ERROR('#914: -131072 << 28 === 0. Actual: ' + (-131072 << 28)); 
} 


if (-262144 << 28 !== 0) { 
  $ERROR('#915: -262144 << 28 === 0. Actual: ' + (-262144 << 28)); 
} 


if (-524288 << 28 !== 0) { 
  $ERROR('#916: -524288 << 28 === 0. Actual: ' + (-524288 << 28)); 
} 


if (-1048576 << 28 !== 0) { 
  $ERROR('#917: -1048576 << 28 === 0. Actual: ' + (-1048576 << 28)); 
} 


if (-2097152 << 28 !== 0) { 
  $ERROR('#918: -2097152 << 28 === 0. Actual: ' + (-2097152 << 28)); 
} 


if (-4194304 << 28 !== 0) { 
  $ERROR('#919: -4194304 << 28 === 0. Actual: ' + (-4194304 << 28)); 
} 


if (-8388608 << 28 !== 0) { 
  $ERROR('#920: -8388608 << 28 === 0. Actual: ' + (-8388608 << 28)); 
} 


if (-16777216 << 28 !== 0) { 
  $ERROR('#921: -16777216 << 28 === 0. Actual: ' + (-16777216 << 28)); 
} 


if (-33554432 << 28 !== 0) { 
  $ERROR('#922: -33554432 << 28 === 0. Actual: ' + (-33554432 << 28)); 
} 


if (-67108864 << 28 !== 0) { 
  $ERROR('#923: -67108864 << 28 === 0. Actual: ' + (-67108864 << 28)); 
} 


if (-134217728 << 28 !== 0) { 
  $ERROR('#924: -134217728 << 28 === 0. Actual: ' + (-134217728 << 28)); 
} 


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


if (-536870912 << 28 !== 0) { 
  $ERROR('#926: -536870912 << 28 === 0. Actual: ' + (-536870912 << 28)); 
} 


if (-1073741824 << 28 !== 0) { 
  $ERROR('#927: -1073741824 << 28 === 0. Actual: ' + (-1073741824 << 28)); 
} 


if (-2147483648 << 28 !== 0) { 
  $ERROR('#928: -2147483648 << 28 === 0. Actual: ' + (-2147483648 << 28)); 
} 


if (-1 << 29 !== -536870912) { 
  $ERROR('#929: -1 << 29 === -536870912. Actual: ' + (-1 << 29)); 
} 


if (-2 << 29 !== -1073741824) { 
  $ERROR('#930: -2 << 29 === -1073741824. Actual: ' + (-2 << 29)); 
} 


if (-4 << 29 !== -2147483648) { 
  $ERROR('#931: -4 << 29 === -2147483648. Actual: ' + (-4 << 29)); 
} 


if (-8 << 29 !== 0) { 
  $ERROR('#932: -8 << 29 === 0. Actual: ' + (-8 << 29)); 
} 


if (-16 << 29 !== 0) { 
  $ERROR('#933: -16 << 29 === 0. Actual: ' + (-16 << 29)); 
} 


if (-32 << 29 !== 0) { 
  $ERROR('#934: -32 << 29 === 0. Actual: ' + (-32 << 29)); 
} 


if (-64 << 29 !== 0) { 
  $ERROR('#935: -64 << 29 === 0. Actual: ' + (-64 << 29)); 
} 


if (-128 << 29 !== 0) { 
  $ERROR('#936: -128 << 29 === 0. Actual: ' + (-128 << 29)); 
} 


if (-256 << 29 !== 0) { 
  $ERROR('#937: -256 << 29 === 0. Actual: ' + (-256 << 29)); 
} 


if (-512 << 29 !== 0) { 
  $ERROR('#938: -512 << 29 === 0. Actual: ' + (-512 << 29)); 
} 


if (-1024 << 29 !== 0) { 
  $ERROR('#939: -1024 << 29 === 0. Actual: ' + (-1024 << 29)); 
} 


if (-2048 << 29 !== 0) { 
  $ERROR('#940: -2048 << 29 === 0. Actual: ' + (-2048 << 29)); 
} 


if (-4096 << 29 !== 0) { 
  $ERROR('#941: -4096 << 29 === 0. Actual: ' + (-4096 << 29)); 
} 


if (-8192 << 29 !== 0) { 
  $ERROR('#942: -8192 << 29 === 0. Actual: ' + (-8192 << 29)); 
} 


if (-16384 << 29 !== 0) { 
  $ERROR('#943: -16384 << 29 === 0. Actual: ' + (-16384 << 29)); 
} 


if (-32768 << 29 !== 0) { 
  $ERROR('#944: -32768 << 29 === 0. Actual: ' + (-32768 << 29)); 
} 


if (-65536 << 29 !== 0) { 
  $ERROR('#945: -65536 << 29 === 0. Actual: ' + (-65536 << 29)); 
} 


if (-131072 << 29 !== 0) { 
  $ERROR('#946: -131072 << 29 === 0. Actual: ' + (-131072 << 29)); 
} 


if (-262144 << 29 !== 0) { 
  $ERROR('#947: -262144 << 29 === 0. Actual: ' + (-262144 << 29)); 
} 


if (-524288 << 29 !== 0) { 
  $ERROR('#948: -524288 << 29 === 0. Actual: ' + (-524288 << 29)); 
} 


if (-1048576 << 29 !== 0) { 
  $ERROR('#949: -1048576 << 29 === 0. Actual: ' + (-1048576 << 29)); 
} 


if (-2097152 << 29 !== 0) { 
  $ERROR('#950: -2097152 << 29 === 0. Actual: ' + (-2097152 << 29)); 
} 


if (-4194304 << 29 !== 0) { 
  $ERROR('#951: -4194304 << 29 === 0. Actual: ' + (-4194304 << 29)); 
} 


if (-8388608 << 29 !== 0) { 
  $ERROR('#952: -8388608 << 29 === 0. Actual: ' + (-8388608 << 29)); 
} 


if (-16777216 << 29 !== 0) { 
  $ERROR('#953: -16777216 << 29 === 0. Actual: ' + (-16777216 << 29)); 
} 


if (-33554432 << 29 !== 0) { 
  $ERROR('#954: -33554432 << 29 === 0. Actual: ' + (-33554432 << 29)); 
} 


if (-67108864 << 29 !== 0) { 
  $ERROR('#955: -67108864 << 29 === 0. Actual: ' + (-67108864 << 29)); 
} 


if (-134217728 << 29 !== 0) { 
  $ERROR('#956: -134217728 << 29 === 0. Actual: ' + (-134217728 << 29)); 
} 


if (-268435456 << 29 !== 0) { 
  $ERROR('#957: -268435456 << 29 === 0. Actual: ' + (-268435456 << 29)); 
} 


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


if (-1073741824 << 29 !== 0) { 
  $ERROR('#959: -1073741824 << 29 === 0. Actual: ' + (-1073741824 << 29)); 
} 


if (-2147483648 << 29 !== 0) { 
  $ERROR('#960: -2147483648 << 29 === 0. Actual: ' + (-2147483648 << 29)); 
} 


if (-1 << 30 !== -1073741824) { 
  $ERROR('#961: -1 << 30 === -1073741824. Actual: ' + (-1 << 30)); 
} 


if (-2 << 30 !== -2147483648) { 
  $ERROR('#962: -2 << 30 === -2147483648. Actual: ' + (-2 << 30)); 
} 


if (-4 << 30 !== 0) { 
  $ERROR('#963: -4 << 30 === 0. Actual: ' + (-4 << 30)); 
} 


if (-8 << 30 !== 0) { 
  $ERROR('#964: -8 << 30 === 0. Actual: ' + (-8 << 30)); 
} 


if (-16 << 30 !== 0) { 
  $ERROR('#965: -16 << 30 === 0. Actual: ' + (-16 << 30)); 
} 


if (-32 << 30 !== 0) { 
  $ERROR('#966: -32 << 30 === 0. Actual: ' + (-32 << 30)); 
} 


if (-64 << 30 !== 0) { 
  $ERROR('#967: -64 << 30 === 0. Actual: ' + (-64 << 30)); 
} 


if (-128 << 30 !== 0) { 
  $ERROR('#968: -128 << 30 === 0. Actual: ' + (-128 << 30)); 
} 


if (-256 << 30 !== 0) { 
  $ERROR('#969: -256 << 30 === 0. Actual: ' + (-256 << 30)); 
} 


if (-512 << 30 !== 0) { 
  $ERROR('#970: -512 << 30 === 0. Actual: ' + (-512 << 30)); 
} 


if (-1024 << 30 !== 0) { 
  $ERROR('#971: -1024 << 30 === 0. Actual: ' + (-1024 << 30)); 
} 


if (-2048 << 30 !== 0) { 
  $ERROR('#972: -2048 << 30 === 0. Actual: ' + (-2048 << 30)); 
} 


if (-4096 << 30 !== 0) { 
  $ERROR('#973: -4096 << 30 === 0. Actual: ' + (-4096 << 30)); 
} 


if (-8192 << 30 !== 0) { 
  $ERROR('#974: -8192 << 30 === 0. Actual: ' + (-8192 << 30)); 
} 


if (-16384 << 30 !== 0) { 
  $ERROR('#975: -16384 << 30 === 0. Actual: ' + (-16384 << 30)); 
} 


if (-32768 << 30 !== 0) { 
  $ERROR('#976: -32768 << 30 === 0. Actual: ' + (-32768 << 30)); 
} 


if (-65536 << 30 !== 0) { 
  $ERROR('#977: -65536 << 30 === 0. Actual: ' + (-65536 << 30)); 
} 


if (-131072 << 30 !== 0) { 
  $ERROR('#978: -131072 << 30 === 0. Actual: ' + (-131072 << 30)); 
} 


if (-262144 << 30 !== 0) { 
  $ERROR('#979: -262144 << 30 === 0. Actual: ' + (-262144 << 30)); 
} 


if (-524288 << 30 !== 0) { 
  $ERROR('#980: -524288 << 30 === 0. Actual: ' + (-524288 << 30)); 
} 


if (-1048576 << 30 !== 0) { 
  $ERROR('#981: -1048576 << 30 === 0. Actual: ' + (-1048576 << 30)); 
} 


if (-2097152 << 30 !== 0) { 
  $ERROR('#982: -2097152 << 30 === 0. Actual: ' + (-2097152 << 30)); 
} 


if (-4194304 << 30 !== 0) { 
  $ERROR('#983: -4194304 << 30 === 0. Actual: ' + (-4194304 << 30)); 
} 


if (-8388608 << 30 !== 0) { 
  $ERROR('#984: -8388608 << 30 === 0. Actual: ' + (-8388608 << 30)); 
} 


if (-16777216 << 30 !== 0) { 
  $ERROR('#985: -16777216 << 30 === 0. Actual: ' + (-16777216 << 30)); 
} 


if (-33554432 << 30 !== 0) { 
  $ERROR('#986: -33554432 << 30 === 0. Actual: ' + (-33554432 << 30)); 
} 


if (-67108864 << 30 !== 0) { 
  $ERROR('#987: -67108864 << 30 === 0. Actual: ' + (-67108864 << 30)); 
} 


if (-134217728 << 30 !== 0) { 
  $ERROR('#988: -134217728 << 30 === 0. Actual: ' + (-134217728 << 30)); 
} 


if (-268435456 << 30 !== 0) { 
  $ERROR('#989: -268435456 << 30 === 0. Actual: ' + (-268435456 << 30)); 
} 


if (-536870912 << 30 !== 0) { 
  $ERROR('#990: -536870912 << 30 === 0. Actual: ' + (-536870912 << 30)); 
} 


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


if (-2147483648 << 30 !== 0) { 
  $ERROR('#992: -2147483648 << 30 === 0. Actual: ' + (-2147483648 << 30)); 
} 


if (-1 << 31 !== -2147483648) { 
  $ERROR('#993: -1 << 31 === -2147483648. Actual: ' + (-1 << 31)); 
} 


if (-2 << 31 !== 0) { 
  $ERROR('#994: -2 << 31 === 0. Actual: ' + (-2 << 31)); 
} 


if (-4 << 31 !== 0) { 
  $ERROR('#995: -4 << 31 === 0. Actual: ' + (-4 << 31)); 
} 


if (-8 << 31 !== 0) { 
  $ERROR('#996: -8 << 31 === 0. Actual: ' + (-8 << 31)); 
} 


if (-16 << 31 !== 0) { 
  $ERROR('#997: -16 << 31 === 0. Actual: ' + (-16 << 31)); 
} 


if (-32 << 31 !== 0) { 
  $ERROR('#998: -32 << 31 === 0. Actual: ' + (-32 << 31)); 
} 


if (-64 << 31 !== 0) { 
  $ERROR('#999: -64 << 31 === 0. Actual: ' + (-64 << 31)); 
} 


if (-128 << 31 !== 0) { 
  $ERROR('#1000: -128 << 31 === 0. Actual: ' + (-128 << 31)); 
} 


if (-256 << 31 !== 0) { 
  $ERROR('#1001: -256 << 31 === 0. Actual: ' + (-256 << 31)); 
} 


if (-512 << 31 !== 0) { 
  $ERROR('#1002: -512 << 31 === 0. Actual: ' + (-512 << 31)); 
} 


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


if (-2048 << 31 !== 0) { 
  $ERROR('#1004: -2048 << 31 === 0. Actual: ' + (-2048 << 31)); 
} 


if (-4096 << 31 !== 0) { 
  $ERROR('#1005: -4096 << 31 === 0. Actual: ' + (-4096 << 31)); 
} 


if (-8192 << 31 !== 0) { 
  $ERROR('#1006: -8192 << 31 === 0. Actual: ' + (-8192 << 31)); 
} 


if (-16384 << 31 !== 0) { 
  $ERROR('#1007: -16384 << 31 === 0. Actual: ' + (-16384 << 31)); 
} 


if (-32768 << 31 !== 0) { 
  $ERROR('#1008: -32768 << 31 === 0. Actual: ' + (-32768 << 31)); 
} 


if (-65536 << 31 !== 0) { 
  $ERROR('#1009: -65536 << 31 === 0. Actual: ' + (-65536 << 31)); 
} 


if (-131072 << 31 !== 0) { 
  $ERROR('#1010: -131072 << 31 === 0. Actual: ' + (-131072 << 31)); 
} 


if (-262144 << 31 !== 0) { 
  $ERROR('#1011: -262144 << 31 === 0. Actual: ' + (-262144 << 31)); 
} 


if (-524288 << 31 !== 0) { 
  $ERROR('#1012: -524288 << 31 === 0. Actual: ' + (-524288 << 31)); 
} 


if (-1048576 << 31 !== 0) { 
  $ERROR('#1013: -1048576 << 31 === 0. Actual: ' + (-1048576 << 31)); 
} 


if (-2097152 << 31 !== 0) { 
  $ERROR('#1014: -2097152 << 31 === 0. Actual: ' + (-2097152 << 31)); 
} 


if (-4194304 << 31 !== 0) { 
  $ERROR('#1015: -4194304 << 31 === 0. Actual: ' + (-4194304 << 31)); 
} 


if (-8388608 << 31 !== 0) { 
  $ERROR('#1016: -8388608 << 31 === 0. Actual: ' + (-8388608 << 31)); 
} 


if (-16777216 << 31 !== 0) { 
  $ERROR('#1017: -16777216 << 31 === 0. Actual: ' + (-16777216 << 31)); 
} 


if (-33554432 << 31 !== 0) { 
  $ERROR('#1018: -33554432 << 31 === 0. Actual: ' + (-33554432 << 31)); 
} 


if (-67108864 << 31 !== 0) { 
  $ERROR('#1019: -67108864 << 31 === 0. Actual: ' + (-67108864 << 31)); 
} 


if (-134217728 << 31 !== 0) { 
  $ERROR('#1020: -134217728 << 31 === 0. Actual: ' + (-134217728 << 31)); 
} 


if (-268435456 << 31 !== 0) { 
  $ERROR('#1021: -268435456 << 31 === 0. Actual: ' + (-268435456 << 31)); 
} 


if (-536870912 << 31 !== 0) { 
  $ERROR('#1022: -536870912 << 31 === 0. Actual: ' + (-536870912 << 31)); 
} 


if (-1073741824 << 31 !== 0) { 
  $ERROR('#1023: -1073741824 << 31 === 0. Actual: ' + (-1073741824 << 31)); 
} 


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