// 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_T1
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)); 
}