The Tor Browser: js/src/tests/test262/ch11/11.7/11.7.1/S11.7.1_A4_T1.js@4ab42b5ab56c (annotated)

js/src/tests/test262/ch11/11.7/11.7.1/S11.7.1_A4_T1.js@4ab42b5ab56c (annotated)

js/src/tests/test262/ch11/11.7/11.7.1/S11.7.1_A4_T1.js

Wed, 31 Dec 2014 07:53:36 +0100

author: Michael Schloh von Bennewitz <michael@schloh.com>
date: Wed, 31 Dec 2014 07:53:36 +0100
branch: TOR_BUG_3246
changeset 5: 4ab42b5ab56c
permissions: -rw-r--r--

Correct small whitespace inconsistency, lost while renaming variables.

 // Copyright 2009 the Sputnik authors.  All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 /**
  * Check operator x << y in distinct points
  *
  * @path ch11/11.7/11.7.1/S11.7.1_A4_T1.js
  * @description ShiftExpression = -2^n, n = 0...15
  */
 //CHECK
 if (-1 << 0 !== -1) {
   $ERROR('#1: -1 << 0 === -1. Actual: ' + (-1 << 0));
 }
 if (-2 << 0 !== -2) {
   $ERROR('#2: -2 << 0 === -2. Actual: ' + (-2 << 0));
 }
 if (-4 << 0 !== -4) {
   $ERROR('#3: -4 << 0 === -4. Actual: ' + (-4 << 0));
 }
 if (-8 << 0 !== -8) {
   $ERROR('#4: -8 << 0 === -8. Actual: ' + (-8 << 0));
 }
 if (-16 << 0 !== -16) {
   $ERROR('#5: -16 << 0 === -16. Actual: ' + (-16 << 0));
 }
 if (-32 << 0 !== -32) {
   $ERROR('#6: -32 << 0 === -32. Actual: ' + (-32 << 0));
 }
 if (-64 << 0 !== -64) {
   $ERROR('#7: -64 << 0 === -64. Actual: ' + (-64 << 0));
 }
 if (-128 << 0 !== -128) {
   $ERROR('#8: -128 << 0 === -128. Actual: ' + (-128 << 0));
 }
 if (-256 << 0 !== -256) {
   $ERROR('#9: -256 << 0 === -256. Actual: ' + (-256 << 0));
 }
 if (-512 << 0 !== -512) {
   $ERROR('#10: -512 << 0 === -512. Actual: ' + (-512 << 0));
 }
 if (-1024 << 0 !== -1024) {
   $ERROR('#11: -1024 << 0 === -1024. Actual: ' + (-1024 << 0));
 }
 if (-2048 << 0 !== -2048) {
   $ERROR('#12: -2048 << 0 === -2048. Actual: ' + (-2048 << 0));
 }
 if (-4096 << 0 !== -4096) {
   $ERROR('#13: -4096 << 0 === -4096. Actual: ' + (-4096 << 0));
 }
 if (-8192 << 0 !== -8192) {
   $ERROR('#14: -8192 << 0 === -8192. Actual: ' + (-8192 << 0));
 }
 if (-16384 << 0 !== -16384) {
   $ERROR('#15: -16384 << 0 === -16384. Actual: ' + (-16384 << 0));
 }
 if (-32768 << 0 !== -32768) {
   $ERROR('#16: -32768 << 0 === -32768. Actual: ' + (-32768 << 0));
 }
 if (-65536 << 0 !== -65536) {
   $ERROR('#17: -65536 << 0 === -65536. Actual: ' + (-65536 << 0));
 }
 if (-131072 << 0 !== -131072) {
   $ERROR('#18: -131072 << 0 === -131072. Actual: ' + (-131072 << 0));
 }
 if (-262144 << 0 !== -262144) {
   $ERROR('#19: -262144 << 0 === -262144. Actual: ' + (-262144 << 0));
 }
 if (-524288 << 0 !== -524288) {
   $ERROR('#20: -524288 << 0 === -524288. Actual: ' + (-524288 << 0));
 }
 if (-1048576 << 0 !== -1048576) {
   $ERROR('#21: -1048576 << 0 === -1048576. Actual: ' + (-1048576 << 0));
 }
 if (-2097152 << 0 !== -2097152) {
   $ERROR('#22: -2097152 << 0 === -2097152. Actual: ' + (-2097152 << 0));
 }
 if (-4194304 << 0 !== -4194304) {
   $ERROR('#23: -4194304 << 0 === -4194304. Actual: ' + (-4194304 << 0));
 }
 if (-8388608 << 0 !== -8388608) {
   $ERROR('#24: -8388608 << 0 === -8388608. Actual: ' + (-8388608 << 0));
 }
 if (-16777216 << 0 !== -16777216) {
   $ERROR('#25: -16777216 << 0 === -16777216. Actual: ' + (-16777216 << 0));
 }
 if (-33554432 << 0 !== -33554432) {
   $ERROR('#26: -33554432 << 0 === -33554432. Actual: ' + (-33554432 << 0));
 }
 if (-67108864 << 0 !== -67108864) {
   $ERROR('#27: -67108864 << 0 === -67108864. Actual: ' + (-67108864 << 0));
 }
 if (-134217728 << 0 !== -134217728) {
   $ERROR('#28: -134217728 << 0 === -134217728. Actual: ' + (-134217728 << 0));
 }
 if (-268435456 << 0 !== -268435456) {
   $ERROR('#29: -268435456 << 0 === -268435456. Actual: ' + (-268435456 << 0));
 }
 if (-536870912 << 0 !== -536870912) {
   $ERROR('#30: -536870912 << 0 === -536870912. Actual: ' + (-536870912 << 0));
 }
 if (-1073741824 << 0 !== -1073741824) {
   $ERROR('#31: -1073741824 << 0 === -1073741824. Actual: ' + (-1073741824 << 0));
 }
 if (-2147483648 << 0 !== -2147483648) {
   $ERROR('#32: -2147483648 << 0 === -2147483648. Actual: ' + (-2147483648 << 0));
 }
 if (-1 << 1 !== -2) {
   $ERROR('#33: -1 << 1 === -2. Actual: ' + (-1 << 1));
 }
 if (-2 << 1 !== -4) {
   $ERROR('#34: -2 << 1 === -4. Actual: ' + (-2 << 1));
 }
 if (-4 << 1 !== -8) {
   $ERROR('#35: -4 << 1 === -8. Actual: ' + (-4 << 1));
 }
 if (-8 << 1 !== -16) {
   $ERROR('#36: -8 << 1 === -16. Actual: ' + (-8 << 1));
 }
 if (-16 << 1 !== -32) {
   $ERROR('#37: -16 << 1 === -32. Actual: ' + (-16 << 1));
 }
 if (-32 << 1 !== -64) {
   $ERROR('#38: -32 << 1 === -64. Actual: ' + (-32 << 1));
 }
 if (-64 << 1 !== -128) {
   $ERROR('#39: -64 << 1 === -128. Actual: ' + (-64 << 1));
 }
 if (-128 << 1 !== -256) {
   $ERROR('#40: -128 << 1 === -256. Actual: ' + (-128 << 1));
 }
 if (-256 << 1 !== -512) {
   $ERROR('#41: -256 << 1 === -512. Actual: ' + (-256 << 1));
 }
 if (-512 << 1 !== -1024) {
   $ERROR('#42: -512 << 1 === -1024. Actual: ' + (-512 << 1));
 }
 if (-1024 << 1 !== -2048) {
   $ERROR('#43: -1024 << 1 === -2048. Actual: ' + (-1024 << 1));
 }
 if (-2048 << 1 !== -4096) {
   $ERROR('#44: -2048 << 1 === -4096. Actual: ' + (-2048 << 1));
 }
 if (-4096 << 1 !== -8192) {
   $ERROR('#45: -4096 << 1 === -8192. Actual: ' + (-4096 << 1));
 }
 if (-8192 << 1 !== -16384) {
   $ERROR('#46: -8192 << 1 === -16384. Actual: ' + (-8192 << 1));
 }
 if (-16384 << 1 !== -32768) {
   $ERROR('#47: -16384 << 1 === -32768. Actual: ' + (-16384 << 1));
 }
 if (-32768 << 1 !== -65536) {
   $ERROR('#48: -32768 << 1 === -65536. Actual: ' + (-32768 << 1));
 }
 if (-65536 << 1 !== -131072) {
   $ERROR('#49: -65536 << 1 === -131072. Actual: ' + (-65536 << 1));
 }
 if (-131072 << 1 !== -262144) {
   $ERROR('#50: -131072 << 1 === -262144. Actual: ' + (-131072 << 1));
 }
 if (-262144 << 1 !== -524288) {
   $ERROR('#51: -262144 << 1 === -524288. Actual: ' + (-262144 << 1));
 }
 if (-524288 << 1 !== -1048576) {
   $ERROR('#52: -524288 << 1 === -1048576. Actual: ' + (-524288 << 1));
 }
 if (-1048576 << 1 !== -2097152) {
   $ERROR('#53: -1048576 << 1 === -2097152. Actual: ' + (-1048576 << 1));
 }
 if (-2097152 << 1 !== -4194304) {
   $ERROR('#54: -2097152 << 1 === -4194304. Actual: ' + (-2097152 << 1));
 }
 if (-4194304 << 1 !== -8388608) {
   $ERROR('#55: -4194304 << 1 === -8388608. Actual: ' + (-4194304 << 1));
 }
 if (-8388608 << 1 !== -16777216) {
   $ERROR('#56: -8388608 << 1 === -16777216. Actual: ' + (-8388608 << 1));
 }
 if (-16777216 << 1 !== -33554432) {
   $ERROR('#57: -16777216 << 1 === -33554432. Actual: ' + (-16777216 << 1));
 }
 if (-33554432 << 1 !== -67108864) {
   $ERROR('#58: -33554432 << 1 === -67108864. Actual: ' + (-33554432 << 1));
 }
 if (-67108864 << 1 !== -134217728) {
   $ERROR('#59: -67108864 << 1 === -134217728. Actual: ' + (-67108864 << 1));
 }
 if (-134217728 << 1 !== -268435456) {
   $ERROR('#60: -134217728 << 1 === -268435456. Actual: ' + (-134217728 << 1));
 }
 if (-268435456 << 1 !== -536870912) {
   $ERROR('#61: -268435456 << 1 === -536870912. Actual: ' + (-268435456 << 1));
 }
 if (-536870912 << 1 !== -1073741824) {
   $ERROR('#62: -536870912 << 1 === -1073741824. Actual: ' + (-536870912 << 1));
 }
 if (-1073741824 << 1 !== -2147483648) {
   $ERROR('#63: -1073741824 << 1 === -2147483648. Actual: ' + (-1073741824 << 1));
 }
 if (-2147483648 << 1 !== 0) {
   $ERROR('#64: -2147483648 << 1 === 0. Actual: ' + (-2147483648 << 1));
 }
 if (-1 << 2 !== -4) {
   $ERROR('#65: -1 << 2 === -4. Actual: ' + (-1 << 2));
 }
 if (-2 << 2 !== -8) {
   $ERROR('#66: -2 << 2 === -8. Actual: ' + (-2 << 2));
 }
 if (-4 << 2 !== -16) {
   $ERROR('#67: -4 << 2 === -16. Actual: ' + (-4 << 2));
 }
 if (-8 << 2 !== -32) {
   $ERROR('#68: -8 << 2 === -32. Actual: ' + (-8 << 2));
 }
 if (-16 << 2 !== -64) {
   $ERROR('#69: -16 << 2 === -64. Actual: ' + (-16 << 2));
 }
 if (-32 << 2 !== -128) {
   $ERROR('#70: -32 << 2 === -128. Actual: ' + (-32 << 2));
 }
 if (-64 << 2 !== -256) {
   $ERROR('#71: -64 << 2 === -256. Actual: ' + (-64 << 2));
 }
 if (-128 << 2 !== -512) {
   $ERROR('#72: -128 << 2 === -512. Actual: ' + (-128 << 2));
 }
 if (-256 << 2 !== -1024) {
   $ERROR('#73: -256 << 2 === -1024. Actual: ' + (-256 << 2));
 }
 if (-512 << 2 !== -2048) {
   $ERROR('#74: -512 << 2 === -2048. Actual: ' + (-512 << 2));
 }
 if (-1024 << 2 !== -4096) {
   $ERROR('#75: -1024 << 2 === -4096. Actual: ' + (-1024 << 2));
 }
 if (-2048 << 2 !== -8192) {
   $ERROR('#76: -2048 << 2 === -8192. Actual: ' + (-2048 << 2));
 }
 if (-4096 << 2 !== -16384) {
   $ERROR('#77: -4096 << 2 === -16384. Actual: ' + (-4096 << 2));
 }
 if (-8192 << 2 !== -32768) {
   $ERROR('#78: -8192 << 2 === -32768. Actual: ' + (-8192 << 2));
 }
 if (-16384 << 2 !== -65536) {
   $ERROR('#79: -16384 << 2 === -65536. Actual: ' + (-16384 << 2));
 }
 if (-32768 << 2 !== -131072) {
   $ERROR('#80: -32768 << 2 === -131072. Actual: ' + (-32768 << 2));
 }
 if (-65536 << 2 !== -262144) {
   $ERROR('#81: -65536 << 2 === -262144. Actual: ' + (-65536 << 2));
 }
 if (-131072 << 2 !== -524288) {
   $ERROR('#82: -131072 << 2 === -524288. Actual: ' + (-131072 << 2));
 }
 if (-262144 << 2 !== -1048576) {
   $ERROR('#83: -262144 << 2 === -1048576. Actual: ' + (-262144 << 2));
 }
 if (-524288 << 2 !== -2097152) {
   $ERROR('#84: -524288 << 2 === -2097152. Actual: ' + (-524288 << 2));
 }
 if (-1048576 << 2 !== -4194304) {
   $ERROR('#85: -1048576 << 2 === -4194304. Actual: ' + (-1048576 << 2));
 }
 if (-2097152 << 2 !== -8388608) {
   $ERROR('#86: -2097152 << 2 === -8388608. Actual: ' + (-2097152 << 2));
 }
 if (-4194304 << 2 !== -16777216) {
   $ERROR('#87: -4194304 << 2 === -16777216. Actual: ' + (-4194304 << 2));
 }
 if (-8388608 << 2 !== -33554432) {
   $ERROR('#88: -8388608 << 2 === -33554432. Actual: ' + (-8388608 << 2));
 }
 if (-16777216 << 2 !== -67108864) {
   $ERROR('#89: -16777216 << 2 === -67108864. Actual: ' + (-16777216 << 2));
 }
 if (-33554432 << 2 !== -134217728) {
   $ERROR('#90: -33554432 << 2 === -134217728. Actual: ' + (-33554432 << 2));
 }
 if (-67108864 << 2 !== -268435456) {
   $ERROR('#91: -67108864 << 2 === -268435456. Actual: ' + (-67108864 << 2));
 }
 if (-134217728 << 2 !== -536870912) {
   $ERROR('#92: -134217728 << 2 === -536870912. Actual: ' + (-134217728 << 2));
 }
 if (-268435456 << 2 !== -1073741824) {
   $ERROR('#93: -268435456 << 2 === -1073741824. Actual: ' + (-268435456 << 2));
 }
 if (-536870912 << 2 !== -2147483648) {
   $ERROR('#94: -536870912 << 2 === -2147483648. Actual: ' + (-536870912 << 2));
 }
 if (-1073741824 << 2 !== 0) {
   $ERROR('#95: -1073741824 << 2 === 0. Actual: ' + (-1073741824 << 2));
 }
 if (-2147483648 << 2 !== 0) {
   $ERROR('#96: -2147483648 << 2 === 0. Actual: ' + (-2147483648 << 2));
 }
 if (-1 << 3 !== -8) {
   $ERROR('#97: -1 << 3 === -8. Actual: ' + (-1 << 3));
 }
 if (-2 << 3 !== -16) {
   $ERROR('#98: -2 << 3 === -16. Actual: ' + (-2 << 3));
 }
 if (-4 << 3 !== -32) {
   $ERROR('#99: -4 << 3 === -32. Actual: ' + (-4 << 3));
 }
 if (-8 << 3 !== -64) {
   $ERROR('#100: -8 << 3 === -64. Actual: ' + (-8 << 3));
 }
 if (-16 << 3 !== -128) {
   $ERROR('#101: -16 << 3 === -128. Actual: ' + (-16 << 3));
 }
 if (-32 << 3 !== -256) {
   $ERROR('#102: -32 << 3 === -256. Actual: ' + (-32 << 3));
 }
 if (-64 << 3 !== -512) {
   $ERROR('#103: -64 << 3 === -512. Actual: ' + (-64 << 3));
 }
 if (-128 << 3 !== -1024) {
   $ERROR('#104: -128 << 3 === -1024. Actual: ' + (-128 << 3));
 }
 if (-256 << 3 !== -2048) {
   $ERROR('#105: -256 << 3 === -2048. Actual: ' + (-256 << 3));
 }
 if (-512 << 3 !== -4096) {
   $ERROR('#106: -512 << 3 === -4096. Actual: ' + (-512 << 3));
 }
 if (-1024 << 3 !== -8192) {
   $ERROR('#107: -1024 << 3 === -8192. Actual: ' + (-1024 << 3));
 }
 if (-2048 << 3 !== -16384) {
   $ERROR('#108: -2048 << 3 === -16384. Actual: ' + (-2048 << 3));
 }
 if (-4096 << 3 !== -32768) {
   $ERROR('#109: -4096 << 3 === -32768. Actual: ' + (-4096 << 3));
 }
 if (-8192 << 3 !== -65536) {
   $ERROR('#110: -8192 << 3 === -65536. Actual: ' + (-8192 << 3));
 }
 if (-16384 << 3 !== -131072) {
   $ERROR('#111: -16384 << 3 === -131072. Actual: ' + (-16384 << 3));
 }
 if (-32768 << 3 !== -262144) {
   $ERROR('#112: -32768 << 3 === -262144. Actual: ' + (-32768 << 3));
 }
 if (-65536 << 3 !== -524288) {
   $ERROR('#113: -65536 << 3 === -524288. Actual: ' + (-65536 << 3));
 }
 if (-131072 << 3 !== -1048576) {
   $ERROR('#114: -131072 << 3 === -1048576. Actual: ' + (-131072 << 3));
 }
 if (-262144 << 3 !== -2097152) {
   $ERROR('#115: -262144 << 3 === -2097152. Actual: ' + (-262144 << 3));
 }
 if (-524288 << 3 !== -4194304) {
   $ERROR('#116: -524288 << 3 === -4194304. Actual: ' + (-524288 << 3));
 }
 if (-1048576 << 3 !== -8388608) {
   $ERROR('#117: -1048576 << 3 === -8388608. Actual: ' + (-1048576 << 3));
 }
 if (-2097152 << 3 !== -16777216) {
   $ERROR('#118: -2097152 << 3 === -16777216. Actual: ' + (-2097152 << 3));
 }
 if (-4194304 << 3 !== -33554432) {
   $ERROR('#119: -4194304 << 3 === -33554432. Actual: ' + (-4194304 << 3));
 }
 if (-8388608 << 3 !== -67108864) {
   $ERROR('#120: -8388608 << 3 === -67108864. Actual: ' + (-8388608 << 3));
 }
 if (-16777216 << 3 !== -134217728) {
   $ERROR('#121: -16777216 << 3 === -134217728. Actual: ' + (-16777216 << 3));
 }
 if (-33554432 << 3 !== -268435456) {
   $ERROR('#122: -33554432 << 3 === -268435456. Actual: ' + (-33554432 << 3));
 }
 if (-67108864 << 3 !== -536870912) {
   $ERROR('#123: -67108864 << 3 === -536870912. Actual: ' + (-67108864 << 3));
 }
 if (-134217728 << 3 !== -1073741824) {
   $ERROR('#124: -134217728 << 3 === -1073741824. Actual: ' + (-134217728 << 3));
 }
 if (-268435456 << 3 !== -2147483648) {
   $ERROR('#125: -268435456 << 3 === -2147483648. Actual: ' + (-268435456 << 3));
 }
 if (-536870912 << 3 !== 0) {
   $ERROR('#126: -536870912 << 3 === 0. Actual: ' + (-536870912 << 3));
 }
 if (-1073741824 << 3 !== 0) {
   $ERROR('#127: -1073741824 << 3 === 0. Actual: ' + (-1073741824 << 3));
 }
 if (-2147483648 << 3 !== 0) {
   $ERROR('#128: -2147483648 << 3 === 0. Actual: ' + (-2147483648 << 3));
 }
 if (-1 << 4 !== -16) {
   $ERROR('#129: -1 << 4 === -16. Actual: ' + (-1 << 4));
 }
 if (-2 << 4 !== -32) {
   $ERROR('#130: -2 << 4 === -32. Actual: ' + (-2 << 4));
 }
 if (-4 << 4 !== -64) {
   $ERROR('#131: -4 << 4 === -64. Actual: ' + (-4 << 4));
 }
 if (-8 << 4 !== -128) {
   $ERROR('#132: -8 << 4 === -128. Actual: ' + (-8 << 4));
 }
 if (-16 << 4 !== -256) {
   $ERROR('#133: -16 << 4 === -256. Actual: ' + (-16 << 4));
 }
 if (-32 << 4 !== -512) {
   $ERROR('#134: -32 << 4 === -512. Actual: ' + (-32 << 4));
 }
 if (-64 << 4 !== -1024) {
   $ERROR('#135: -64 << 4 === -1024. Actual: ' + (-64 << 4));
 }
 if (-128 << 4 !== -2048) {
   $ERROR('#136: -128 << 4 === -2048. Actual: ' + (-128 << 4));
 }
 if (-256 << 4 !== -4096) {
   $ERROR('#137: -256 << 4 === -4096. Actual: ' + (-256 << 4));
 }
 if (-512 << 4 !== -8192) {
   $ERROR('#138: -512 << 4 === -8192. Actual: ' + (-512 << 4));
 }
 if (-1024 << 4 !== -16384) {
   $ERROR('#139: -1024 << 4 === -16384. Actual: ' + (-1024 << 4));
 }
 if (-2048 << 4 !== -32768) {
   $ERROR('#140: -2048 << 4 === -32768. Actual: ' + (-2048 << 4));
 }
 if (-4096 << 4 !== -65536) {
   $ERROR('#141: -4096 << 4 === -65536. Actual: ' + (-4096 << 4));
 }
 if (-8192 << 4 !== -131072) {
   $ERROR('#142: -8192 << 4 === -131072. Actual: ' + (-8192 << 4));
 }
 if (-16384 << 4 !== -262144) {
   $ERROR('#143: -16384 << 4 === -262144. Actual: ' + (-16384 << 4));
 }
 if (-32768 << 4 !== -524288) {
   $ERROR('#144: -32768 << 4 === -524288. Actual: ' + (-32768 << 4));
 }
 if (-65536 << 4 !== -1048576) {
   $ERROR('#145: -65536 << 4 === -1048576. Actual: ' + (-65536 << 4));
 }
 if (-131072 << 4 !== -2097152) {
   $ERROR('#146: -131072 << 4 === -2097152. Actual: ' + (-131072 << 4));
 }
 if (-262144 << 4 !== -4194304) {
   $ERROR('#147: -262144 << 4 === -4194304. Actual: ' + (-262144 << 4));
 }
 if (-524288 << 4 !== -8388608) {
   $ERROR('#148: -524288 << 4 === -8388608. Actual: ' + (-524288 << 4));
 }
 if (-1048576 << 4 !== -16777216) {
   $ERROR('#149: -1048576 << 4 === -16777216. Actual: ' + (-1048576 << 4));
 }
 if (-2097152 << 4 !== -33554432) {
   $ERROR('#150: -2097152 << 4 === -33554432. Actual: ' + (-2097152 << 4));
 }
 if (-4194304 << 4 !== -67108864) {
   $ERROR('#151: -4194304 << 4 === -67108864. Actual: ' + (-4194304 << 4));
 }
 if (-8388608 << 4 !== -134217728) {
   $ERROR('#152: -8388608 << 4 === -134217728. Actual: ' + (-8388608 << 4));
 }
 if (-16777216 << 4 !== -268435456) {
   $ERROR('#153: -16777216 << 4 === -268435456. Actual: ' + (-16777216 << 4));
 }
 if (-33554432 << 4 !== -536870912) {
   $ERROR('#154: -33554432 << 4 === -536870912. Actual: ' + (-33554432 << 4));
 }
 if (-67108864 << 4 !== -1073741824) {
   $ERROR('#155: -67108864 << 4 === -1073741824. Actual: ' + (-67108864 << 4));
 }
 if (-134217728 << 4 !== -2147483648) {
   $ERROR('#156: -134217728 << 4 === -2147483648. Actual: ' + (-134217728 << 4));
 }
 if (-268435456 << 4 !== 0) {
   $ERROR('#157: -268435456 << 4 === 0. Actual: ' + (-268435456 << 4));
 }
 if (-536870912 << 4 !== 0) {
   $ERROR('#158: -536870912 << 4 === 0. Actual: ' + (-536870912 << 4));
 }
 if (-1073741824 << 4 !== 0) {
   $ERROR('#159: -1073741824 << 4 === 0. Actual: ' + (-1073741824 << 4));
 }
 if (-2147483648 << 4 !== 0) {
   $ERROR('#160: -2147483648 << 4 === 0. Actual: ' + (-2147483648 << 4));
 }
 if (-1 << 5 !== -32) {
   $ERROR('#161: -1 << 5 === -32. Actual: ' + (-1 << 5));
 }
 if (-2 << 5 !== -64) {
   $ERROR('#162: -2 << 5 === -64. Actual: ' + (-2 << 5));
 }
 if (-4 << 5 !== -128) {
   $ERROR('#163: -4 << 5 === -128. Actual: ' + (-4 << 5));
 }
 if (-8 << 5 !== -256) {
   $ERROR('#164: -8 << 5 === -256. Actual: ' + (-8 << 5));
 }
 if (-16 << 5 !== -512) {
   $ERROR('#165: -16 << 5 === -512. Actual: ' + (-16 << 5));
 }
 if (-32 << 5 !== -1024) {
   $ERROR('#166: -32 << 5 === -1024. Actual: ' + (-32 << 5));
 }
 if (-64 << 5 !== -2048) {
   $ERROR('#167: -64 << 5 === -2048. Actual: ' + (-64 << 5));
 }
 if (-128 << 5 !== -4096) {
   $ERROR('#168: -128 << 5 === -4096. Actual: ' + (-128 << 5));
 }
 if (-256 << 5 !== -8192) {
   $ERROR('#169: -256 << 5 === -8192. Actual: ' + (-256 << 5));
 }
 if (-512 << 5 !== -16384) {
   $ERROR('#170: -512 << 5 === -16384. Actual: ' + (-512 << 5));
 }
 if (-1024 << 5 !== -32768) {
   $ERROR('#171: -1024 << 5 === -32768. Actual: ' + (-1024 << 5));
 }
 if (-2048 << 5 !== -65536) {
   $ERROR('#172: -2048 << 5 === -65536. Actual: ' + (-2048 << 5));
 }
 if (-4096 << 5 !== -131072) {
   $ERROR('#173: -4096 << 5 === -131072. Actual: ' + (-4096 << 5));
 }
 if (-8192 << 5 !== -262144) {
   $ERROR('#174: -8192 << 5 === -262144. Actual: ' + (-8192 << 5));
 }
 if (-16384 << 5 !== -524288) {
   $ERROR('#175: -16384 << 5 === -524288. Actual: ' + (-16384 << 5));
 }
 if (-32768 << 5 !== -1048576) {
   $ERROR('#176: -32768 << 5 === -1048576. Actual: ' + (-32768 << 5));
 }
 if (-65536 << 5 !== -2097152) {
   $ERROR('#177: -65536 << 5 === -2097152. Actual: ' + (-65536 << 5));
 }
 if (-131072 << 5 !== -4194304) {
   $ERROR('#178: -131072 << 5 === -4194304. Actual: ' + (-131072 << 5));
 }
 if (-262144 << 5 !== -8388608) {
   $ERROR('#179: -262144 << 5 === -8388608. Actual: ' + (-262144 << 5));
 }
 if (-524288 << 5 !== -16777216) {
   $ERROR('#180: -524288 << 5 === -16777216. Actual: ' + (-524288 << 5));
 }
 if (-1048576 << 5 !== -33554432) {
   $ERROR('#181: -1048576 << 5 === -33554432. Actual: ' + (-1048576 << 5));
 }
 if (-2097152 << 5 !== -67108864) {
   $ERROR('#182: -2097152 << 5 === -67108864. Actual: ' + (-2097152 << 5));
 }
 if (-4194304 << 5 !== -134217728) {
   $ERROR('#183: -4194304 << 5 === -134217728. Actual: ' + (-4194304 << 5));
 }
 if (-8388608 << 5 !== -268435456) {
   $ERROR('#184: -8388608 << 5 === -268435456. Actual: ' + (-8388608 << 5));
 }
 if (-16777216 << 5 !== -536870912) {
   $ERROR('#185: -16777216 << 5 === -536870912. Actual: ' + (-16777216 << 5));
 }
 if (-33554432 << 5 !== -1073741824) {
   $ERROR('#186: -33554432 << 5 === -1073741824. Actual: ' + (-33554432 << 5));
 }
 if (-67108864 << 5 !== -2147483648) {
   $ERROR('#187: -67108864 << 5 === -2147483648. Actual: ' + (-67108864 << 5));
 }
 if (-134217728 << 5 !== 0) {
   $ERROR('#188: -134217728 << 5 === 0. Actual: ' + (-134217728 << 5));
 }
 if (-268435456 << 5 !== 0) {
   $ERROR('#189: -268435456 << 5 === 0. Actual: ' + (-268435456 << 5));
 }
 if (-536870912 << 5 !== 0) {
   $ERROR('#190: -536870912 << 5 === 0. Actual: ' + (-536870912 << 5));
 }
 if (-1073741824 << 5 !== 0) {
   $ERROR('#191: -1073741824 << 5 === 0. Actual: ' + (-1073741824 << 5));
 }
 if (-2147483648 << 5 !== 0) {
   $ERROR('#192: -2147483648 << 5 === 0. Actual: ' + (-2147483648 << 5));
 }
 if (-1 << 6 !== -64) {
   $ERROR('#193: -1 << 6 === -64. Actual: ' + (-1 << 6));
 }
 if (-2 << 6 !== -128) {
   $ERROR('#194: -2 << 6 === -128. Actual: ' + (-2 << 6));
 }
 if (-4 << 6 !== -256) {
   $ERROR('#195: -4 << 6 === -256. Actual: ' + (-4 << 6));
 }
 if (-8 << 6 !== -512) {
   $ERROR('#196: -8 << 6 === -512. Actual: ' + (-8 << 6));
 }
 if (-16 << 6 !== -1024) {
   $ERROR('#197: -16 << 6 === -1024. Actual: ' + (-16 << 6));
 }
 if (-32 << 6 !== -2048) {
   $ERROR('#198: -32 << 6 === -2048. Actual: ' + (-32 << 6));
 }
 if (-64 << 6 !== -4096) {
   $ERROR('#199: -64 << 6 === -4096. Actual: ' + (-64 << 6));
 }
 if (-128 << 6 !== -8192) {
   $ERROR('#200: -128 << 6 === -8192. Actual: ' + (-128 << 6));
 }
 if (-256 << 6 !== -16384) {
   $ERROR('#201: -256 << 6 === -16384. Actual: ' + (-256 << 6));
 }
 if (-512 << 6 !== -32768) {
   $ERROR('#202: -512 << 6 === -32768. Actual: ' + (-512 << 6));
 }
 if (-1024 << 6 !== -65536) {
   $ERROR('#203: -1024 << 6 === -65536. Actual: ' + (-1024 << 6));
 }
 if (-2048 << 6 !== -131072) {
   $ERROR('#204: -2048 << 6 === -131072. Actual: ' + (-2048 << 6));
 }
 if (-4096 << 6 !== -262144) {
   $ERROR('#205: -4096 << 6 === -262144. Actual: ' + (-4096 << 6));
 }
 if (-8192 << 6 !== -524288) {
   $ERROR('#206: -8192 << 6 === -524288. Actual: ' + (-8192 << 6));
 }
 if (-16384 << 6 !== -1048576) {
   $ERROR('#207: -16384 << 6 === -1048576. Actual: ' + (-16384 << 6));
 }
 if (-32768 << 6 !== -2097152) {
   $ERROR('#208: -32768 << 6 === -2097152. Actual: ' + (-32768 << 6));
 }
 if (-65536 << 6 !== -4194304) {
   $ERROR('#209: -65536 << 6 === -4194304. Actual: ' + (-65536 << 6));
 }
 if (-131072 << 6 !== -8388608) {
   $ERROR('#210: -131072 << 6 === -8388608. Actual: ' + (-131072 << 6));
 }
 if (-262144 << 6 !== -16777216) {
   $ERROR('#211: -262144 << 6 === -16777216. Actual: ' + (-262144 << 6));
 }
 if (-524288 << 6 !== -33554432) {
   $ERROR('#212: -524288 << 6 === -33554432. Actual: ' + (-524288 << 6));
 }
 if (-1048576 << 6 !== -67108864) {
   $ERROR('#213: -1048576 << 6 === -67108864. Actual: ' + (-1048576 << 6));
 }
 if (-2097152 << 6 !== -134217728) {
   $ERROR('#214: -2097152 << 6 === -134217728. Actual: ' + (-2097152 << 6));
 }
 if (-4194304 << 6 !== -268435456) {
   $ERROR('#215: -4194304 << 6 === -268435456. Actual: ' + (-4194304 << 6));
 }
 if (-8388608 << 6 !== -536870912) {
   $ERROR('#216: -8388608 << 6 === -536870912. Actual: ' + (-8388608 << 6));
 }
 if (-16777216 << 6 !== -1073741824) {
   $ERROR('#217: -16777216 << 6 === -1073741824. Actual: ' + (-16777216 << 6));
 }
 if (-33554432 << 6 !== -2147483648) {
   $ERROR('#218: -33554432 << 6 === -2147483648. Actual: ' + (-33554432 << 6));
 }
 if (-67108864 << 6 !== 0) {
   $ERROR('#219: -67108864 << 6 === 0. Actual: ' + (-67108864 << 6));
 }
 if (-134217728 << 6 !== 0) {
   $ERROR('#220: -134217728 << 6 === 0. Actual: ' + (-134217728 << 6));
 }
 if (-268435456 << 6 !== 0) {
   $ERROR('#221: -268435456 << 6 === 0. Actual: ' + (-268435456 << 6));
 }
 if (-536870912 << 6 !== 0) {
   $ERROR('#222: -536870912 << 6 === 0. Actual: ' + (-536870912 << 6));
 }
 if (-1073741824 << 6 !== 0) {
   $ERROR('#223: -1073741824 << 6 === 0. Actual: ' + (-1073741824 << 6));
 }
 if (-2147483648 << 6 !== 0) {
   $ERROR('#224: -2147483648 << 6 === 0. Actual: ' + (-2147483648 << 6));
 }
 if (-1 << 7 !== -128) {
   $ERROR('#225: -1 << 7 === -128. Actual: ' + (-1 << 7));
 }
 if (-2 << 7 !== -256) {
   $ERROR('#226: -2 << 7 === -256. Actual: ' + (-2 << 7));
 }
 if (-4 << 7 !== -512) {
   $ERROR('#227: -4 << 7 === -512. Actual: ' + (-4 << 7));
 }
 if (-8 << 7 !== -1024) {
   $ERROR('#228: -8 << 7 === -1024. Actual: ' + (-8 << 7));
 }
 if (-16 << 7 !== -2048) {
   $ERROR('#229: -16 << 7 === -2048. Actual: ' + (-16 << 7));
 }
 if (-32 << 7 !== -4096) {
   $ERROR('#230: -32 << 7 === -4096. Actual: ' + (-32 << 7));
 }
 if (-64 << 7 !== -8192) {
   $ERROR('#231: -64 << 7 === -8192. Actual: ' + (-64 << 7));
 }
 if (-128 << 7 !== -16384) {
   $ERROR('#232: -128 << 7 === -16384. Actual: ' + (-128 << 7));
 }
 if (-256 << 7 !== -32768) {
   $ERROR('#233: -256 << 7 === -32768. Actual: ' + (-256 << 7));
 }
 if (-512 << 7 !== -65536) {
   $ERROR('#234: -512 << 7 === -65536. Actual: ' + (-512 << 7));
 }
 if (-1024 << 7 !== -131072) {
   $ERROR('#235: -1024 << 7 === -131072. Actual: ' + (-1024 << 7));
 }
 if (-2048 << 7 !== -262144) {
   $ERROR('#236: -2048 << 7 === -262144. Actual: ' + (-2048 << 7));
 }
 if (-4096 << 7 !== -524288) {
   $ERROR('#237: -4096 << 7 === -524288. Actual: ' + (-4096 << 7));
 }
 if (-8192 << 7 !== -1048576) {
   $ERROR('#238: -8192 << 7 === -1048576. Actual: ' + (-8192 << 7));
 }
 if (-16384 << 7 !== -2097152) {
   $ERROR('#239: -16384 << 7 === -2097152. Actual: ' + (-16384 << 7));
 }
 if (-32768 << 7 !== -4194304) {
   $ERROR('#240: -32768 << 7 === -4194304. Actual: ' + (-32768 << 7));
 }
 if (-65536 << 7 !== -8388608) {
   $ERROR('#241: -65536 << 7 === -8388608. Actual: ' + (-65536 << 7));
 }
 if (-131072 << 7 !== -16777216) {
   $ERROR('#242: -131072 << 7 === -16777216. Actual: ' + (-131072 << 7));
 }
 if (-262144 << 7 !== -33554432) {
   $ERROR('#243: -262144 << 7 === -33554432. Actual: ' + (-262144 << 7));
 }
 if (-524288 << 7 !== -67108864) {
   $ERROR('#244: -524288 << 7 === -67108864. Actual: ' + (-524288 << 7));
 }
 if (-1048576 << 7 !== -134217728) {
   $ERROR('#245: -1048576 << 7 === -134217728. Actual: ' + (-1048576 << 7));
 }
 if (-2097152 << 7 !== -268435456) {
   $ERROR('#246: -2097152 << 7 === -268435456. Actual: ' + (-2097152 << 7));
 }
 if (-4194304 << 7 !== -536870912) {
   $ERROR('#247: -4194304 << 7 === -536870912. Actual: ' + (-4194304 << 7));
 }
 if (-8388608 << 7 !== -1073741824) {
   $ERROR('#248: -8388608 << 7 === -1073741824. Actual: ' + (-8388608 << 7));
 }
 if (-16777216 << 7 !== -2147483648) {
   $ERROR('#249: -16777216 << 7 === -2147483648. Actual: ' + (-16777216 << 7));
 }
 if (-33554432 << 7 !== 0) {
   $ERROR('#250: -33554432 << 7 === 0. Actual: ' + (-33554432 << 7));
 }
 if (-67108864 << 7 !== 0) {
   $ERROR('#251: -67108864 << 7 === 0. Actual: ' + (-67108864 << 7));
 }
 if (-134217728 << 7 !== 0) {
   $ERROR('#252: -134217728 << 7 === 0. Actual: ' + (-134217728 << 7));
 }
 if (-268435456 << 7 !== 0) {
   $ERROR('#253: -268435456 << 7 === 0. Actual: ' + (-268435456 << 7));
 }
 if (-536870912 << 7 !== 0) {
   $ERROR('#254: -536870912 << 7 === 0. Actual: ' + (-536870912 << 7));
 }
 if (-1073741824 << 7 !== 0) {
   $ERROR('#255: -1073741824 << 7 === 0. Actual: ' + (-1073741824 << 7));
 }
 if (-2147483648 << 7 !== 0) {
   $ERROR('#256: -2147483648 << 7 === 0. Actual: ' + (-2147483648 << 7));
 }
 if (-1 << 8 !== -256) {
   $ERROR('#257: -1 << 8 === -256. Actual: ' + (-1 << 8));
 }
 if (-2 << 8 !== -512) {
   $ERROR('#258: -2 << 8 === -512. Actual: ' + (-2 << 8));
 }
 if (-4 << 8 !== -1024) {
   $ERROR('#259: -4 << 8 === -1024. Actual: ' + (-4 << 8));
 }
 if (-8 << 8 !== -2048) {
   $ERROR('#260: -8 << 8 === -2048. Actual: ' + (-8 << 8));
 }
 if (-16 << 8 !== -4096) {
   $ERROR('#261: -16 << 8 === -4096. Actual: ' + (-16 << 8));
 }
 if (-32 << 8 !== -8192) {
   $ERROR('#262: -32 << 8 === -8192. Actual: ' + (-32 << 8));
 }
 if (-64 << 8 !== -16384) {
   $ERROR('#263: -64 << 8 === -16384. Actual: ' + (-64 << 8));
 }
 if (-128 << 8 !== -32768) {
   $ERROR('#264: -128 << 8 === -32768. Actual: ' + (-128 << 8));
 }
 if (-256 << 8 !== -65536) {
   $ERROR('#265: -256 << 8 === -65536. Actual: ' + (-256 << 8));
 }
 if (-512 << 8 !== -131072) {
   $ERROR('#266: -512 << 8 === -131072. Actual: ' + (-512 << 8));
 }
 if (-1024 << 8 !== -262144) {
   $ERROR('#267: -1024 << 8 === -262144. Actual: ' + (-1024 << 8));
 }
 if (-2048 << 8 !== -524288) {
   $ERROR('#268: -2048 << 8 === -524288. Actual: ' + (-2048 << 8));
 }
 if (-4096 << 8 !== -1048576) {
   $ERROR('#269: -4096 << 8 === -1048576. Actual: ' + (-4096 << 8));
 }
 if (-8192 << 8 !== -2097152) {
   $ERROR('#270: -8192 << 8 === -2097152. Actual: ' + (-8192 << 8));
 }
 if (-16384 << 8 !== -4194304) {
   $ERROR('#271: -16384 << 8 === -4194304. Actual: ' + (-16384 << 8));
 }
 if (-32768 << 8 !== -8388608) {
   $ERROR('#272: -32768 << 8 === -8388608. Actual: ' + (-32768 << 8));
 }
 if (-65536 << 8 !== -16777216) {
   $ERROR('#273: -65536 << 8 === -16777216. Actual: ' + (-65536 << 8));
 }
 if (-131072 << 8 !== -33554432) {
   $ERROR('#274: -131072 << 8 === -33554432. Actual: ' + (-131072 << 8));
 }
 if (-262144 << 8 !== -67108864) {
   $ERROR('#275: -262144 << 8 === -67108864. Actual: ' + (-262144 << 8));
 }
 if (-524288 << 8 !== -134217728) {
   $ERROR('#276: -524288 << 8 === -134217728. Actual: ' + (-524288 << 8));
 }
 if (-1048576 << 8 !== -268435456) {
   $ERROR('#277: -1048576 << 8 === -268435456. Actual: ' + (-1048576 << 8));
 }
 if (-2097152 << 8 !== -536870912) {
   $ERROR('#278: -2097152 << 8 === -536870912. Actual: ' + (-2097152 << 8));
 }
 if (-4194304 << 8 !== -1073741824) {
   $ERROR('#279: -4194304 << 8 === -1073741824. Actual: ' + (-4194304 << 8));
 }
 if (-8388608 << 8 !== -2147483648) {
   $ERROR('#280: -8388608 << 8 === -2147483648. Actual: ' + (-8388608 << 8));
 }
 if (-16777216 << 8 !== 0) {
   $ERROR('#281: -16777216 << 8 === 0. Actual: ' + (-16777216 << 8));
 }
 if (-33554432 << 8 !== 0) {
   $ERROR('#282: -33554432 << 8 === 0. Actual: ' + (-33554432 << 8));
 }
 if (-67108864 << 8 !== 0) {
   $ERROR('#283: -67108864 << 8 === 0. Actual: ' + (-67108864 << 8));
 }
 if (-134217728 << 8 !== 0) {
   $ERROR('#284: -134217728 << 8 === 0. Actual: ' + (-134217728 << 8));
 }
 if (-268435456 << 8 !== 0) {
   $ERROR('#285: -268435456 << 8 === 0. Actual: ' + (-268435456 << 8));
 }
 if (-536870912 << 8 !== 0) {
   $ERROR('#286: -536870912 << 8 === 0. Actual: ' + (-536870912 << 8));
 }
 if (-1073741824 << 8 !== 0) {
   $ERROR('#287: -1073741824 << 8 === 0. Actual: ' + (-1073741824 << 8));
 }
 if (-2147483648 << 8 !== 0) {
   $ERROR('#288: -2147483648 << 8 === 0. Actual: ' + (-2147483648 << 8));
 }
 if (-1 << 9 !== -512) {
   $ERROR('#289: -1 << 9 === -512. Actual: ' + (-1 << 9));
 }
 if (-2 << 9 !== -1024) {
   $ERROR('#290: -2 << 9 === -1024. Actual: ' + (-2 << 9));
 }
 if (-4 << 9 !== -2048) {
   $ERROR('#291: -4 << 9 === -2048. Actual: ' + (-4 << 9));
 }
 if (-8 << 9 !== -4096) {
   $ERROR('#292: -8 << 9 === -4096. Actual: ' + (-8 << 9));
 }
 if (-16 << 9 !== -8192) {
   $ERROR('#293: -16 << 9 === -8192. Actual: ' + (-16 << 9));
 }
 if (-32 << 9 !== -16384) {
   $ERROR('#294: -32 << 9 === -16384. Actual: ' + (-32 << 9));
 }
 if (-64 << 9 !== -32768) {
   $ERROR('#295: -64 << 9 === -32768. Actual: ' + (-64 << 9));
 }
 if (-128 << 9 !== -65536) {
   $ERROR('#296: -128 << 9 === -65536. Actual: ' + (-128 << 9));
 }
 if (-256 << 9 !== -131072) {
   $ERROR('#297: -256 << 9 === -131072. Actual: ' + (-256 << 9));
 }
 if (-512 << 9 !== -262144) {
   $ERROR('#298: -512 << 9 === -262144. Actual: ' + (-512 << 9));
 }
 if (-1024 << 9 !== -524288) {
   $ERROR('#299: -1024 << 9 === -524288. Actual: ' + (-1024 << 9));
 }
 if (-2048 << 9 !== -1048576) {
   $ERROR('#300: -2048 << 9 === -1048576. Actual: ' + (-2048 << 9));
 }
 if (-4096 << 9 !== -2097152) {
   $ERROR('#301: -4096 << 9 === -2097152. Actual: ' + (-4096 << 9));
 }
 if (-8192 << 9 !== -4194304) {
   $ERROR('#302: -8192 << 9 === -4194304. Actual: ' + (-8192 << 9));
 }
 if (-16384 << 9 !== -8388608) {
   $ERROR('#303: -16384 << 9 === -8388608. Actual: ' + (-16384 << 9));
 }
 if (-32768 << 9 !== -16777216) {
   $ERROR('#304: -32768 << 9 === -16777216. Actual: ' + (-32768 << 9));
 }
 if (-65536 << 9 !== -33554432) {
   $ERROR('#305: -65536 << 9 === -33554432. Actual: ' + (-65536 << 9));
 }
 if (-131072 << 9 !== -67108864) {
   $ERROR('#306: -131072 << 9 === -67108864. Actual: ' + (-131072 << 9));
 }
 if (-262144 << 9 !== -134217728) {
   $ERROR('#307: -262144 << 9 === -134217728. Actual: ' + (-262144 << 9));
 }
 if (-524288 << 9 !== -268435456) {
   $ERROR('#308: -524288 << 9 === -268435456. Actual: ' + (-524288 << 9));
 }
 if (-1048576 << 9 !== -536870912) {
   $ERROR('#309: -1048576 << 9 === -536870912. Actual: ' + (-1048576 << 9));
 }
 if (-2097152 << 9 !== -1073741824) {
   $ERROR('#310: -2097152 << 9 === -1073741824. Actual: ' + (-2097152 << 9));
 }
 if (-4194304 << 9 !== -2147483648) {
   $ERROR('#311: -4194304 << 9 === -2147483648. Actual: ' + (-4194304 << 9));
 }
 if (-8388608 << 9 !== 0) {
   $ERROR('#312: -8388608 << 9 === 0. Actual: ' + (-8388608 << 9));
 }
 if (-16777216 << 9 !== 0) {
   $ERROR('#313: -16777216 << 9 === 0. Actual: ' + (-16777216 << 9));
 }
 if (-33554432 << 9 !== 0) {
   $ERROR('#314: -33554432 << 9 === 0. Actual: ' + (-33554432 << 9));
 }
 if (-67108864 << 9 !== 0) {
   $ERROR('#315: -67108864 << 9 === 0. Actual: ' + (-67108864 << 9));
 }
 if (-134217728 << 9 !== 0) {
   $ERROR('#316: -134217728 << 9 === 0. Actual: ' + (-134217728 << 9));
 }
 if (-268435456 << 9 !== 0) {
   $ERROR('#317: -268435456 << 9 === 0. Actual: ' + (-268435456 << 9));
 }
 if (-536870912 << 9 !== 0) {
   $ERROR('#318: -536870912 << 9 === 0. Actual: ' + (-536870912 << 9));
 }
 if (-1073741824 << 9 !== 0) {
   $ERROR('#319: -1073741824 << 9 === 0. Actual: ' + (-1073741824 << 9));
 }
 if (-2147483648 << 9 !== 0) {
   $ERROR('#320: -2147483648 << 9 === 0. Actual: ' + (-2147483648 << 9));
 }
 if (-1 << 10 !== -1024) {
   $ERROR('#321: -1 << 10 === -1024. Actual: ' + (-1 << 10));
 }
 if (-2 << 10 !== -2048) {
   $ERROR('#322: -2 << 10 === -2048. Actual: ' + (-2 << 10));
 }
 if (-4 << 10 !== -4096) {
   $ERROR('#323: -4 << 10 === -4096. Actual: ' + (-4 << 10));
 }
 if (-8 << 10 !== -8192) {
   $ERROR('#324: -8 << 10 === -8192. Actual: ' + (-8 << 10));
 }
 if (-16 << 10 !== -16384) {
   $ERROR('#325: -16 << 10 === -16384. Actual: ' + (-16 << 10));
 }
 if (-32 << 10 !== -32768) {
   $ERROR('#326: -32 << 10 === -32768. Actual: ' + (-32 << 10));
 }
 if (-64 << 10 !== -65536) {
   $ERROR('#327: -64 << 10 === -65536. Actual: ' + (-64 << 10));
 }
 if (-128 << 10 !== -131072) {
   $ERROR('#328: -128 << 10 === -131072. Actual: ' + (-128 << 10));
 }
 if (-256 << 10 !== -262144) {
   $ERROR('#329: -256 << 10 === -262144. Actual: ' + (-256 << 10));
 }
 if (-512 << 10 !== -524288) {
   $ERROR('#330: -512 << 10 === -524288. Actual: ' + (-512 << 10));
 }
 if (-1024 << 10 !== -1048576) {
   $ERROR('#331: -1024 << 10 === -1048576. Actual: ' + (-1024 << 10));
 }
 if (-2048 << 10 !== -2097152) {
   $ERROR('#332: -2048 << 10 === -2097152. Actual: ' + (-2048 << 10));
 }
 if (-4096 << 10 !== -4194304) {
   $ERROR('#333: -4096 << 10 === -4194304. Actual: ' + (-4096 << 10));
 }
 if (-8192 << 10 !== -8388608) {
   $ERROR('#334: -8192 << 10 === -8388608. Actual: ' + (-8192 << 10));
 }
 if (-16384 << 10 !== -16777216) {
   $ERROR('#335: -16384 << 10 === -16777216. Actual: ' + (-16384 << 10));
 }
 if (-32768 << 10 !== -33554432) {
   $ERROR('#336: -32768 << 10 === -33554432. Actual: ' + (-32768 << 10));
 }
 if (-65536 << 10 !== -67108864) {
   $ERROR('#337: -65536 << 10 === -67108864. Actual: ' + (-65536 << 10));
 }
 if (-131072 << 10 !== -134217728) {
   $ERROR('#338: -131072 << 10 === -134217728. Actual: ' + (-131072 << 10));
 }
 if (-262144 << 10 !== -268435456) {
   $ERROR('#339: -262144 << 10 === -268435456. Actual: ' + (-262144 << 10));
 }
 if (-524288 << 10 !== -536870912) {
   $ERROR('#340: -524288 << 10 === -536870912. Actual: ' + (-524288 << 10));
 }
 if (-1048576 << 10 !== -1073741824) {
   $ERROR('#341: -1048576 << 10 === -1073741824. Actual: ' + (-1048576 << 10));
 }
 if (-2097152 << 10 !== -2147483648) {
   $ERROR('#342: -2097152 << 10 === -2147483648. Actual: ' + (-2097152 << 10));
 }
 if (-4194304 << 10 !== 0) {
   $ERROR('#343: -4194304 << 10 === 0. Actual: ' + (-4194304 << 10));
 }
 if (-8388608 << 10 !== 0) {
   $ERROR('#344: -8388608 << 10 === 0. Actual: ' + (-8388608 << 10));
 }
 if (-16777216 << 10 !== 0) {
   $ERROR('#345: -16777216 << 10 === 0. Actual: ' + (-16777216 << 10));
 }
 if (-33554432 << 10 !== 0) {
   $ERROR('#346: -33554432 << 10 === 0. Actual: ' + (-33554432 << 10));
 }
 if (-67108864 << 10 !== 0) {
   $ERROR('#347: -67108864 << 10 === 0. Actual: ' + (-67108864 << 10));
 }
 if (-134217728 << 10 !== 0) {
   $ERROR('#348: -134217728 << 10 === 0. Actual: ' + (-134217728 << 10));
 }
 if (-268435456 << 10 !== 0) {
   $ERROR('#349: -268435456 << 10 === 0. Actual: ' + (-268435456 << 10));
 }
 if (-536870912 << 10 !== 0) {
   $ERROR('#350: -536870912 << 10 === 0. Actual: ' + (-536870912 << 10));
 }
 if (-1073741824 << 10 !== 0) {
   $ERROR('#351: -1073741824 << 10 === 0. Actual: ' + (-1073741824 << 10));
 }
 if (-2147483648 << 10 !== 0) {
   $ERROR('#352: -2147483648 << 10 === 0. Actual: ' + (-2147483648 << 10));
 }
 if (-1 << 11 !== -2048) {
   $ERROR('#353: -1 << 11 === -2048. Actual: ' + (-1 << 11));
 }
 if (-2 << 11 !== -4096) {
   $ERROR('#354: -2 << 11 === -4096. Actual: ' + (-2 << 11));
 }
 if (-4 << 11 !== -8192) {
   $ERROR('#355: -4 << 11 === -8192. Actual: ' + (-4 << 11));
 }
 if (-8 << 11 !== -16384) {
   $ERROR('#356: -8 << 11 === -16384. Actual: ' + (-8 << 11));
 }
 if (-16 << 11 !== -32768) {
   $ERROR('#357: -16 << 11 === -32768. Actual: ' + (-16 << 11));
 }
 if (-32 << 11 !== -65536) {
   $ERROR('#358: -32 << 11 === -65536. Actual: ' + (-32 << 11));
 }
 if (-64 << 11 !== -131072) {
   $ERROR('#359: -64 << 11 === -131072. Actual: ' + (-64 << 11));
 }
 if (-128 << 11 !== -262144) {
   $ERROR('#360: -128 << 11 === -262144. Actual: ' + (-128 << 11));
 }
 if (-256 << 11 !== -524288) {
   $ERROR('#361: -256 << 11 === -524288. Actual: ' + (-256 << 11));
 }
 if (-512 << 11 !== -1048576) {
   $ERROR('#362: -512 << 11 === -1048576. Actual: ' + (-512 << 11));
 }
 if (-1024 << 11 !== -2097152) {
   $ERROR('#363: -1024 << 11 === -2097152. Actual: ' + (-1024 << 11));
 }
 if (-2048 << 11 !== -4194304) {
   $ERROR('#364: -2048 << 11 === -4194304. Actual: ' + (-2048 << 11));
 }
 if (-4096 << 11 !== -8388608) {
   $ERROR('#365: -4096 << 11 === -8388608. Actual: ' + (-4096 << 11));
 }
 if (-8192 << 11 !== -16777216) {
   $ERROR('#366: -8192 << 11 === -16777216. Actual: ' + (-8192 << 11));
 }
 if (-16384 << 11 !== -33554432) {
   $ERROR('#367: -16384 << 11 === -33554432. Actual: ' + (-16384 << 11));
 }
 if (-32768 << 11 !== -67108864) {
   $ERROR('#368: -32768 << 11 === -67108864. Actual: ' + (-32768 << 11));
 }
 if (-65536 << 11 !== -134217728) {
   $ERROR('#369: -65536 << 11 === -134217728. Actual: ' + (-65536 << 11));
 }
 if (-131072 << 11 !== -268435456) {
   $ERROR('#370: -131072 << 11 === -268435456. Actual: ' + (-131072 << 11));
 }
 if (-262144 << 11 !== -536870912) {
   $ERROR('#371: -262144 << 11 === -536870912. Actual: ' + (-262144 << 11));
 }
 if (-524288 << 11 !== -1073741824) {
   $ERROR('#372: -524288 << 11 === -1073741824. Actual: ' + (-524288 << 11));
 }
 if (-1048576 << 11 !== -2147483648) {
   $ERROR('#373: -1048576 << 11 === -2147483648. Actual: ' + (-1048576 << 11));
 }
 if (-2097152 << 11 !== 0) {
   $ERROR('#374: -2097152 << 11 === 0. Actual: ' + (-2097152 << 11));
 }
 if (-4194304 << 11 !== 0) {
   $ERROR('#375: -4194304 << 11 === 0. Actual: ' + (-4194304 << 11));
 }
 if (-8388608 << 11 !== 0) {
   $ERROR('#376: -8388608 << 11 === 0. Actual: ' + (-8388608 << 11));
 }
 if (-16777216 << 11 !== 0) {
   $ERROR('#377: -16777216 << 11 === 0. Actual: ' + (-16777216 << 11));
 }
 if (-33554432 << 11 !== 0) {
   $ERROR('#378: -33554432 << 11 === 0. Actual: ' + (-33554432 << 11));
 }
 if (-67108864 << 11 !== 0) {
   $ERROR('#379: -67108864 << 11 === 0. Actual: ' + (-67108864 << 11));
 }
 if (-134217728 << 11 !== 0) {
   $ERROR('#380: -134217728 << 11 === 0. Actual: ' + (-134217728 << 11));
 }
 if (-268435456 << 11 !== 0) {
   $ERROR('#381: -268435456 << 11 === 0. Actual: ' + (-268435456 << 11));
 }
 if (-536870912 << 11 !== 0) {
   $ERROR('#382: -536870912 << 11 === 0. Actual: ' + (-536870912 << 11));
 }
 if (-1073741824 << 11 !== 0) {
   $ERROR('#383: -1073741824 << 11 === 0. Actual: ' + (-1073741824 << 11));
 }
 if (-2147483648 << 11 !== 0) {
   $ERROR('#384: -2147483648 << 11 === 0. Actual: ' + (-2147483648 << 11));
 }
 if (-1 << 12 !== -4096) {
   $ERROR('#385: -1 << 12 === -4096. Actual: ' + (-1 << 12));
 }
 if (-2 << 12 !== -8192) {
   $ERROR('#386: -2 << 12 === -8192. Actual: ' + (-2 << 12));
 }
 if (-4 << 12 !== -16384) {
   $ERROR('#387: -4 << 12 === -16384. Actual: ' + (-4 << 12));
 }
 if (-8 << 12 !== -32768) {
   $ERROR('#388: -8 << 12 === -32768. Actual: ' + (-8 << 12));
 }
 if (-16 << 12 !== -65536) {
   $ERROR('#389: -16 << 12 === -65536. Actual: ' + (-16 << 12));
 }
 if (-32 << 12 !== -131072) {
   $ERROR('#390: -32 << 12 === -131072. Actual: ' + (-32 << 12));
 }
 if (-64 << 12 !== -262144) {
   $ERROR('#391: -64 << 12 === -262144. Actual: ' + (-64 << 12));
 }
 if (-128 << 12 !== -524288) {
   $ERROR('#392: -128 << 12 === -524288. Actual: ' + (-128 << 12));
 }
 if (-256 << 12 !== -1048576) {
   $ERROR('#393: -256 << 12 === -1048576. Actual: ' + (-256 << 12));
 }
 if (-512 << 12 !== -2097152) {
   $ERROR('#394: -512 << 12 === -2097152. Actual: ' + (-512 << 12));
 }
 if (-1024 << 12 !== -4194304) {
   $ERROR('#395: -1024 << 12 === -4194304. Actual: ' + (-1024 << 12));
 }
 if (-2048 << 12 !== -8388608) {
   $ERROR('#396: -2048 << 12 === -8388608. Actual: ' + (-2048 << 12));
 }
 if (-4096 << 12 !== -16777216) {
   $ERROR('#397: -4096 << 12 === -16777216. Actual: ' + (-4096 << 12));
 }
 if (-8192 << 12 !== -33554432) {
   $ERROR('#398: -8192 << 12 === -33554432. Actual: ' + (-8192 << 12));
 }
 if (-16384 << 12 !== -67108864) {
   $ERROR('#399: -16384 << 12 === -67108864. Actual: ' + (-16384 << 12));
 }
 if (-32768 << 12 !== -134217728) {
   $ERROR('#400: -32768 << 12 === -134217728. Actual: ' + (-32768 << 12));
 }
 if (-65536 << 12 !== -268435456) {
   $ERROR('#401: -65536 << 12 === -268435456. Actual: ' + (-65536 << 12));
 }
 if (-131072 << 12 !== -536870912) {
   $ERROR('#402: -131072 << 12 === -536870912. Actual: ' + (-131072 << 12));
 }
 if (-262144 << 12 !== -1073741824) {
   $ERROR('#403: -262144 << 12 === -1073741824. Actual: ' + (-262144 << 12));
 }
 if (-524288 << 12 !== -2147483648) {
   $ERROR('#404: -524288 << 12 === -2147483648. Actual: ' + (-524288 << 12));
 }
 if (-1048576 << 12 !== 0) {
   $ERROR('#405: -1048576 << 12 === 0. Actual: ' + (-1048576 << 12));
 }
 if (-2097152 << 12 !== 0) {
   $ERROR('#406: -2097152 << 12 === 0. Actual: ' + (-2097152 << 12));
 }
 if (-4194304 << 12 !== 0) {
   $ERROR('#407: -4194304 << 12 === 0. Actual: ' + (-4194304 << 12));
 }
 if (-8388608 << 12 !== 0) {
   $ERROR('#408: -8388608 << 12 === 0. Actual: ' + (-8388608 << 12));
 }
 if (-16777216 << 12 !== 0) {
   $ERROR('#409: -16777216 << 12 === 0. Actual: ' + (-16777216 << 12));
 }
 if (-33554432 << 12 !== 0) {
   $ERROR('#410: -33554432 << 12 === 0. Actual: ' + (-33554432 << 12));
 }
 if (-67108864 << 12 !== 0) {
   $ERROR('#411: -67108864 << 12 === 0. Actual: ' + (-67108864 << 12));
 }
 if (-134217728 << 12 !== 0) {
   $ERROR('#412: -134217728 << 12 === 0. Actual: ' + (-134217728 << 12));
 }
 if (-268435456 << 12 !== 0) {
   $ERROR('#413: -268435456 << 12 === 0. Actual: ' + (-268435456 << 12));
 }
 if (-536870912 << 12 !== 0) {
   $ERROR('#414: -536870912 << 12 === 0. Actual: ' + (-536870912 << 12));
 }
 if (-1073741824 << 12 !== 0) {
   $ERROR('#415: -1073741824 << 12 === 0. Actual: ' + (-1073741824 << 12));
 }
 if (-2147483648 << 12 !== 0) {
   $ERROR('#416: -2147483648 << 12 === 0. Actual: ' + (-2147483648 << 12));
 }
 if (-1 << 13 !== -8192) {
   $ERROR('#417: -1 << 13 === -8192. Actual: ' + (-1 << 13));
 }
 if (-2 << 13 !== -16384) {
   $ERROR('#418: -2 << 13 === -16384. Actual: ' + (-2 << 13));
 }
 if (-4 << 13 !== -32768) {
   $ERROR('#419: -4 << 13 === -32768. Actual: ' + (-4 << 13));
 }
 if (-8 << 13 !== -65536) {
   $ERROR('#420: -8 << 13 === -65536. Actual: ' + (-8 << 13));
 }
 if (-16 << 13 !== -131072) {
   $ERROR('#421: -16 << 13 === -131072. Actual: ' + (-16 << 13));
 }
 if (-32 << 13 !== -262144) {
   $ERROR('#422: -32 << 13 === -262144. Actual: ' + (-32 << 13));
 }
 if (-64 << 13 !== -524288) {
   $ERROR('#423: -64 << 13 === -524288. Actual: ' + (-64 << 13));
 }
 if (-128 << 13 !== -1048576) {
   $ERROR('#424: -128 << 13 === -1048576. Actual: ' + (-128 << 13));
 }
 if (-256 << 13 !== -2097152) {
   $ERROR('#425: -256 << 13 === -2097152. Actual: ' + (-256 << 13));
 }
 if (-512 << 13 !== -4194304) {
   $ERROR('#426: -512 << 13 === -4194304. Actual: ' + (-512 << 13));
 }
 if (-1024 << 13 !== -8388608) {
   $ERROR('#427: -1024 << 13 === -8388608. Actual: ' + (-1024 << 13));
 }
 if (-2048 << 13 !== -16777216) {
   $ERROR('#428: -2048 << 13 === -16777216. Actual: ' + (-2048 << 13));
 }
 if (-4096 << 13 !== -33554432) {
   $ERROR('#429: -4096 << 13 === -33554432. Actual: ' + (-4096 << 13));
 }
 if (-8192 << 13 !== -67108864) {
   $ERROR('#430: -8192 << 13 === -67108864. Actual: ' + (-8192 << 13));
 }
 if (-16384 << 13 !== -134217728) {
   $ERROR('#431: -16384 << 13 === -134217728. Actual: ' + (-16384 << 13));
 }
 if (-32768 << 13 !== -268435456) {
   $ERROR('#432: -32768 << 13 === -268435456. Actual: ' + (-32768 << 13));
 }
 if (-65536 << 13 !== -536870912) {
   $ERROR('#433: -65536 << 13 === -536870912. Actual: ' + (-65536 << 13));
 }
 if (-131072 << 13 !== -1073741824) {
   $ERROR('#434: -131072 << 13 === -1073741824. Actual: ' + (-131072 << 13));
 }
 if (-262144 << 13 !== -2147483648) {
   $ERROR('#435: -262144 << 13 === -2147483648. Actual: ' + (-262144 << 13));
 }
 if (-524288 << 13 !== 0) {
   $ERROR('#436: -524288 << 13 === 0. Actual: ' + (-524288 << 13));
 }
 if (-1048576 << 13 !== 0) {
   $ERROR('#437: -1048576 << 13 === 0. Actual: ' + (-1048576 << 13));
 }
 if (-2097152 << 13 !== 0) {
   $ERROR('#438: -2097152 << 13 === 0. Actual: ' + (-2097152 << 13));
 }
 if (-4194304 << 13 !== 0) {
   $ERROR('#439: -4194304 << 13 === 0. Actual: ' + (-4194304 << 13));
 }
 if (-8388608 << 13 !== 0) {
   $ERROR('#440: -8388608 << 13 === 0. Actual: ' + (-8388608 << 13));
 }
 if (-16777216 << 13 !== 0) {
   $ERROR('#441: -16777216 << 13 === 0. Actual: ' + (-16777216 << 13));
 }
 if (-33554432 << 13 !== 0) {
   $ERROR('#442: -33554432 << 13 === 0. Actual: ' + (-33554432 << 13));
 }
 if (-67108864 << 13 !== 0) {
   $ERROR('#443: -67108864 << 13 === 0. Actual: ' + (-67108864 << 13));
 }
 if (-134217728 << 13 !== 0) {
   $ERROR('#444: -134217728 << 13 === 0. Actual: ' + (-134217728 << 13));
 }
 if (-268435456 << 13 !== 0) {
   $ERROR('#445: -268435456 << 13 === 0. Actual: ' + (-268435456 << 13));
 }
 if (-536870912 << 13 !== 0) {
   $ERROR('#446: -536870912 << 13 === 0. Actual: ' + (-536870912 << 13));
 }
 if (-1073741824 << 13 !== 0) {
   $ERROR('#447: -1073741824 << 13 === 0. Actual: ' + (-1073741824 << 13));
 }
 if (-2147483648 << 13 !== 0) {
   $ERROR('#448: -2147483648 << 13 === 0. Actual: ' + (-2147483648 << 13));
 }
 if (-1 << 14 !== -16384) {
   $ERROR('#449: -1 << 14 === -16384. Actual: ' + (-1 << 14));
 }
 if (-2 << 14 !== -32768) {
   $ERROR('#450: -2 << 14 === -32768. Actual: ' + (-2 << 14));
 }
 if (-4 << 14 !== -65536) {
   $ERROR('#451: -4 << 14 === -65536. Actual: ' + (-4 << 14));
 }
 if (-8 << 14 !== -131072) {
   $ERROR('#452: -8 << 14 === -131072. Actual: ' + (-8 << 14));
 }
 if (-16 << 14 !== -262144) {
   $ERROR('#453: -16 << 14 === -262144. Actual: ' + (-16 << 14));
 }
 if (-32 << 14 !== -524288) {
   $ERROR('#454: -32 << 14 === -524288. Actual: ' + (-32 << 14));
 }
 if (-64 << 14 !== -1048576) {
   $ERROR('#455: -64 << 14 === -1048576. Actual: ' + (-64 << 14));
 }
 if (-128 << 14 !== -2097152) {
   $ERROR('#456: -128 << 14 === -2097152. Actual: ' + (-128 << 14));
 }
 if (-256 << 14 !== -4194304) {
   $ERROR('#457: -256 << 14 === -4194304. Actual: ' + (-256 << 14));
 }
 if (-512 << 14 !== -8388608) {
   $ERROR('#458: -512 << 14 === -8388608. Actual: ' + (-512 << 14));
 }
 if (-1024 << 14 !== -16777216) {
   $ERROR('#459: -1024 << 14 === -16777216. Actual: ' + (-1024 << 14));
 }
 if (-2048 << 14 !== -33554432) {
   $ERROR('#460: -2048 << 14 === -33554432. Actual: ' + (-2048 << 14));
 }
 if (-4096 << 14 !== -67108864) {
   $ERROR('#461: -4096 << 14 === -67108864. Actual: ' + (-4096 << 14));
 }
 if (-8192 << 14 !== -134217728) {
   $ERROR('#462: -8192 << 14 === -134217728. Actual: ' + (-8192 << 14));
 }
 if (-16384 << 14 !== -268435456) {
   $ERROR('#463: -16384 << 14 === -268435456. Actual: ' + (-16384 << 14));
 }
 if (-32768 << 14 !== -536870912) {
   $ERROR('#464: -32768 << 14 === -536870912. Actual: ' + (-32768 << 14));
 }
 if (-65536 << 14 !== -1073741824) {
   $ERROR('#465: -65536 << 14 === -1073741824. Actual: ' + (-65536 << 14));
 }
 if (-131072 << 14 !== -2147483648) {
   $ERROR('#466: -131072 << 14 === -2147483648. Actual: ' + (-131072 << 14));
 }
 if (-262144 << 14 !== 0) {
   $ERROR('#467: -262144 << 14 === 0. Actual: ' + (-262144 << 14));
 }
 if (-524288 << 14 !== 0) {
   $ERROR('#468: -524288 << 14 === 0. Actual: ' + (-524288 << 14));
 }
 if (-1048576 << 14 !== 0) {
   $ERROR('#469: -1048576 << 14 === 0. Actual: ' + (-1048576 << 14));
 }
 if (-2097152 << 14 !== 0) {
   $ERROR('#470: -2097152 << 14 === 0. Actual: ' + (-2097152 << 14));
 }
 if (-4194304 << 14 !== 0) {
   $ERROR('#471: -4194304 << 14 === 0. Actual: ' + (-4194304 << 14));
 }
 if (-8388608 << 14 !== 0) {
   $ERROR('#472: -8388608 << 14 === 0. Actual: ' + (-8388608 << 14));
 }
 if (-16777216 << 14 !== 0) {
   $ERROR('#473: -16777216 << 14 === 0. Actual: ' + (-16777216 << 14));
 }
 if (-33554432 << 14 !== 0) {
   $ERROR('#474: -33554432 << 14 === 0. Actual: ' + (-33554432 << 14));
 }
 if (-67108864 << 14 !== 0) {
   $ERROR('#475: -67108864 << 14 === 0. Actual: ' + (-67108864 << 14));
 }
 if (-134217728 << 14 !== 0) {
   $ERROR('#476: -134217728 << 14 === 0. Actual: ' + (-134217728 << 14));
 }
 if (-268435456 << 14 !== 0) {
   $ERROR('#477: -268435456 << 14 === 0. Actual: ' + (-268435456 << 14));
 }
 if (-536870912 << 14 !== 0) {
   $ERROR('#478: -536870912 << 14 === 0. Actual: ' + (-536870912 << 14));
 }
 if (-1073741824 << 14 !== 0) {
   $ERROR('#479: -1073741824 << 14 === 0. Actual: ' + (-1073741824 << 14));
 }
 if (-2147483648 << 14 !== 0) {
   $ERROR('#480: -2147483648 << 14 === 0. Actual: ' + (-2147483648 << 14));
 }
 if (-1 << 15 !== -32768) {
   $ERROR('#481: -1 << 15 === -32768. Actual: ' + (-1 << 15));
 }
 if (-2 << 15 !== -65536) {
   $ERROR('#482: -2 << 15 === -65536. Actual: ' + (-2 << 15));
 }
 if (-4 << 15 !== -131072) {
   $ERROR('#483: -4 << 15 === -131072. Actual: ' + (-4 << 15));
 }
 if (-8 << 15 !== -262144) {
   $ERROR('#484: -8 << 15 === -262144. Actual: ' + (-8 << 15));
 }
 if (-16 << 15 !== -524288) {
   $ERROR('#485: -16 << 15 === -524288. Actual: ' + (-16 << 15));
 }
 if (-32 << 15 !== -1048576) {
   $ERROR('#486: -32 << 15 === -1048576. Actual: ' + (-32 << 15));
 }
 if (-64 << 15 !== -2097152) {
   $ERROR('#487: -64 << 15 === -2097152. Actual: ' + (-64 << 15));
 }
 if (-128 << 15 !== -4194304) {
   $ERROR('#488: -128 << 15 === -4194304. Actual: ' + (-128 << 15));
 }
 if (-256 << 15 !== -8388608) {
   $ERROR('#489: -256 << 15 === -8388608. Actual: ' + (-256 << 15));
 }
 if (-512 << 15 !== -16777216) {
   $ERROR('#490: -512 << 15 === -16777216. Actual: ' + (-512 << 15));
 }
 if (-1024 << 15 !== -33554432) {
   $ERROR('#491: -1024 << 15 === -33554432. Actual: ' + (-1024 << 15));
 }
 if (-2048 << 15 !== -67108864) {
   $ERROR('#492: -2048 << 15 === -67108864. Actual: ' + (-2048 << 15));
 }
 if (-4096 << 15 !== -134217728) {
   $ERROR('#493: -4096 << 15 === -134217728. Actual: ' + (-4096 << 15));
 }
 if (-8192 << 15 !== -268435456) {
   $ERROR('#494: -8192 << 15 === -268435456. Actual: ' + (-8192 << 15));
 }
 if (-16384 << 15 !== -536870912) {
   $ERROR('#495: -16384 << 15 === -536870912. Actual: ' + (-16384 << 15));
 }
 if (-32768 << 15 !== -1073741824) {
   $ERROR('#496: -32768 << 15 === -1073741824. Actual: ' + (-32768 << 15));
 }
 if (-65536 << 15 !== -2147483648) {
   $ERROR('#497: -65536 << 15 === -2147483648. Actual: ' + (-65536 << 15));
 }
 if (-131072 << 15 !== 0) {
   $ERROR('#498: -131072 << 15 === 0. Actual: ' + (-131072 << 15));
 }
 if (-262144 << 15 !== 0) {
   $ERROR('#499: -262144 << 15 === 0. Actual: ' + (-262144 << 15));
 }
 if (-524288 << 15 !== 0) {
   $ERROR('#500: -524288 << 15 === 0. Actual: ' + (-524288 << 15));
 }
 if (-1048576 << 15 !== 0) {
   $ERROR('#501: -1048576 << 15 === 0. Actual: ' + (-1048576 << 15));
 }
 if (-2097152 << 15 !== 0) {
   $ERROR('#502: -2097152 << 15 === 0. Actual: ' + (-2097152 << 15));
 }
 if (-4194304 << 15 !== 0) {
   $ERROR('#503: -4194304 << 15 === 0. Actual: ' + (-4194304 << 15));
 }
 if (-8388608 << 15 !== 0) {
   $ERROR('#504: -8388608 << 15 === 0. Actual: ' + (-8388608 << 15));
 }
 if (-16777216 << 15 !== 0) {
   $ERROR('#505: -16777216 << 15 === 0. Actual: ' + (-16777216 << 15));
 }
 if (-33554432 << 15 !== 0) {
   $ERROR('#506: -33554432 << 15 === 0. Actual: ' + (-33554432 << 15));
 }
 if (-67108864 << 15 !== 0) {
   $ERROR('#507: -67108864 << 15 === 0. Actual: ' + (-67108864 << 15));
 }
 if (-134217728 << 15 !== 0) {
   $ERROR('#508: -134217728 << 15 === 0. Actual: ' + (-134217728 << 15));
 }
 if (-268435456 << 15 !== 0) {
   $ERROR('#509: -268435456 << 15 === 0. Actual: ' + (-268435456 << 15));
 }
 if (-536870912 << 15 !== 0) {
   $ERROR('#510: -536870912 << 15 === 0. Actual: ' + (-536870912 << 15));
 }
 if (-1073741824 << 15 !== 0) {
   $ERROR('#511: -1073741824 << 15 === 0. Actual: ' + (-1073741824 << 15));
 }
 if (-2147483648 << 15 !== 0) {
   $ERROR('#512: -2147483648 << 15 === 0. Actual: ' + (-2147483648 << 15));
 }