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