blob: e07259a348ea5eb972ff794b8411e60d7393fc71 [file] [log] [blame]
<html>
<head>
<meta charset='utf-8'>
<style>
.pass {
font-weight: bold;
color: green;
}
.fail {
font-weight: bold;
color: red;
}
</style>
<script>
if (window.testRunner)
testRunner.dumpAsText();
function SputnikError(message)
{
this.message = message;
}
SputnikError.prototype.toString = function ()
{
return 'SputnikError: ' + this.message;
};
var sputnikException;
function testPrint(msg)
{
var span = document.createElement("span");
document.getElementById("console").appendChild(span); // insert it first so XHTML knows the namespace
span.innerHTML = msg + '<br />';
}
function escapeHTML(text)
{
return text.toString().replace(/&/g, "&amp;").replace(/</g, "&lt;");
}
function printTestPassed(msg)
{
testPrint('<span><span class="pass">PASS</span> ' + escapeHTML(msg) + '</span>');
}
function printTestFailed(msg)
{
testPrint('<span><span class="fail">FAIL</span> ' + escapeHTML(msg) + '</span>');
}
function testFailed(msg)
{
throw new SputnikError(msg);
}
var successfullyParsed = false;
</script>
</head>
<body>
<p>S11.7.3_A4_T2</p>
<div id='console'></div>
<script>
try {
/**
* @name: S11.7.3_A4_T2;
* @section: 11.7.3;
* @assertion: Check operator x >>> y in distinct points;
* @description: ShiftExpression = 2^n - 1, n = 16...31;
*/
//CHECK
if (1 >>> 16 !== 0) {
testFailed('#513: 1 >>> 16 === 0. Actual: ' + (1 >>> 16));
}
if (2 >>> 16 !== 0) {
testFailed('#514: 2 >>> 16 === 0. Actual: ' + (2 >>> 16));
}
if (4 >>> 16 !== 0) {
testFailed('#515: 4 >>> 16 === 0. Actual: ' + (4 >>> 16));
}
if (8 >>> 16 !== 0) {
testFailed('#516: 8 >>> 16 === 0. Actual: ' + (8 >>> 16));
}
if (16 >>> 16 !== 0) {
testFailed('#517: 16 >>> 16 === 0. Actual: ' + (16 >>> 16));
}
if (32 >>> 16 !== 0) {
testFailed('#518: 32 >>> 16 === 0. Actual: ' + (32 >>> 16));
}
if (64 >>> 16 !== 0) {
testFailed('#519: 64 >>> 16 === 0. Actual: ' + (64 >>> 16));
}
if (128 >>> 16 !== 0) {
testFailed('#520: 128 >>> 16 === 0. Actual: ' + (128 >>> 16));
}
if (256 >>> 16 !== 0) {
testFailed('#521: 256 >>> 16 === 0. Actual: ' + (256 >>> 16));
}
if (512 >>> 16 !== 0) {
testFailed('#522: 512 >>> 16 === 0. Actual: ' + (512 >>> 16));
}
if (1024 >>> 16 !== 0) {
testFailed('#523: 1024 >>> 16 === 0. Actual: ' + (1024 >>> 16));
}
if (2048 >>> 16 !== 0) {
testFailed('#524: 2048 >>> 16 === 0. Actual: ' + (2048 >>> 16));
}
if (4096 >>> 16 !== 0) {
testFailed('#525: 4096 >>> 16 === 0. Actual: ' + (4096 >>> 16));
}
if (8192 >>> 16 !== 0) {
testFailed('#526: 8192 >>> 16 === 0. Actual: ' + (8192 >>> 16));
}
if (16384 >>> 16 !== 0) {
testFailed('#527: 16384 >>> 16 === 0. Actual: ' + (16384 >>> 16));
}
if (32768 >>> 16 !== 0) {
testFailed('#528: 32768 >>> 16 === 0. Actual: ' + (32768 >>> 16));
}
if (65536 >>> 16 !== 1) {
testFailed('#529: 65536 >>> 16 === 1. Actual: ' + (65536 >>> 16));
}
if (131072 >>> 16 !== 2) {
testFailed('#530: 131072 >>> 16 === 2. Actual: ' + (131072 >>> 16));
}
if (262144 >>> 16 !== 4) {
testFailed('#531: 262144 >>> 16 === 4. Actual: ' + (262144 >>> 16));
}
if (524288 >>> 16 !== 8) {
testFailed('#532: 524288 >>> 16 === 8. Actual: ' + (524288 >>> 16));
}
if (1048576 >>> 16 !== 16) {
testFailed('#533: 1048576 >>> 16 === 16. Actual: ' + (1048576 >>> 16));
}
if (2097152 >>> 16 !== 32) {
testFailed('#534: 2097152 >>> 16 === 32. Actual: ' + (2097152 >>> 16));
}
if (4194304 >>> 16 !== 64) {
testFailed('#535: 4194304 >>> 16 === 64. Actual: ' + (4194304 >>> 16));
}
if (8388608 >>> 16 !== 128) {
testFailed('#536: 8388608 >>> 16 === 128. Actual: ' + (8388608 >>> 16));
}
if (16777216 >>> 16 !== 256) {
testFailed('#537: 16777216 >>> 16 === 256. Actual: ' + (16777216 >>> 16));
}
if (33554432 >>> 16 !== 512) {
testFailed('#538: 33554432 >>> 16 === 512. Actual: ' + (33554432 >>> 16));
}
if (67108864 >>> 16 !== 1024) {
testFailed('#539: 67108864 >>> 16 === 1024. Actual: ' + (67108864 >>> 16));
}
if (134217728 >>> 16 !== 2048) {
testFailed('#540: 134217728 >>> 16 === 2048. Actual: ' + (134217728 >>> 16));
}
if (268435456 >>> 16 !== 4096) {
testFailed('#541: 268435456 >>> 16 === 4096. Actual: ' + (268435456 >>> 16));
}
if (536870912 >>> 16 !== 8192) {
testFailed('#542: 536870912 >>> 16 === 8192. Actual: ' + (536870912 >>> 16));
}
if (1073741824 >>> 16 !== 16384) {
testFailed('#543: 1073741824 >>> 16 === 16384. Actual: ' + (1073741824 >>> 16));
}
if (2147483648 >>> 16 !== 32768) {
testFailed('#544: 2147483648 >>> 16 === 32768. Actual: ' + (2147483648 >>> 16));
}
if (1 >>> 17 !== 0) {
testFailed('#545: 1 >>> 17 === 0. Actual: ' + (1 >>> 17));
}
if (2 >>> 17 !== 0) {
testFailed('#546: 2 >>> 17 === 0. Actual: ' + (2 >>> 17));
}
if (4 >>> 17 !== 0) {
testFailed('#547: 4 >>> 17 === 0. Actual: ' + (4 >>> 17));
}
if (8 >>> 17 !== 0) {
testFailed('#548: 8 >>> 17 === 0. Actual: ' + (8 >>> 17));
}
if (16 >>> 17 !== 0) {
testFailed('#549: 16 >>> 17 === 0. Actual: ' + (16 >>> 17));
}
if (32 >>> 17 !== 0) {
testFailed('#550: 32 >>> 17 === 0. Actual: ' + (32 >>> 17));
}
if (64 >>> 17 !== 0) {
testFailed('#551: 64 >>> 17 === 0. Actual: ' + (64 >>> 17));
}
if (128 >>> 17 !== 0) {
testFailed('#552: 128 >>> 17 === 0. Actual: ' + (128 >>> 17));
}
if (256 >>> 17 !== 0) {
testFailed('#553: 256 >>> 17 === 0. Actual: ' + (256 >>> 17));
}
if (512 >>> 17 !== 0) {
testFailed('#554: 512 >>> 17 === 0. Actual: ' + (512 >>> 17));
}
if (1024 >>> 17 !== 0) {
testFailed('#555: 1024 >>> 17 === 0. Actual: ' + (1024 >>> 17));
}
if (2048 >>> 17 !== 0) {
testFailed('#556: 2048 >>> 17 === 0. Actual: ' + (2048 >>> 17));
}
if (4096 >>> 17 !== 0) {
testFailed('#557: 4096 >>> 17 === 0. Actual: ' + (4096 >>> 17));
}
if (8192 >>> 17 !== 0) {
testFailed('#558: 8192 >>> 17 === 0. Actual: ' + (8192 >>> 17));
}
if (16384 >>> 17 !== 0) {
testFailed('#559: 16384 >>> 17 === 0. Actual: ' + (16384 >>> 17));
}
if (32768 >>> 17 !== 0) {
testFailed('#560: 32768 >>> 17 === 0. Actual: ' + (32768 >>> 17));
}
if (65536 >>> 17 !== 0) {
testFailed('#561: 65536 >>> 17 === 0. Actual: ' + (65536 >>> 17));
}
if (131072 >>> 17 !== 1) {
testFailed('#562: 131072 >>> 17 === 1. Actual: ' + (131072 >>> 17));
}
if (262144 >>> 17 !== 2) {
testFailed('#563: 262144 >>> 17 === 2. Actual: ' + (262144 >>> 17));
}
if (524288 >>> 17 !== 4) {
testFailed('#564: 524288 >>> 17 === 4. Actual: ' + (524288 >>> 17));
}
if (1048576 >>> 17 !== 8) {
testFailed('#565: 1048576 >>> 17 === 8. Actual: ' + (1048576 >>> 17));
}
if (2097152 >>> 17 !== 16) {
testFailed('#566: 2097152 >>> 17 === 16. Actual: ' + (2097152 >>> 17));
}
if (4194304 >>> 17 !== 32) {
testFailed('#567: 4194304 >>> 17 === 32. Actual: ' + (4194304 >>> 17));
}
if (8388608 >>> 17 !== 64) {
testFailed('#568: 8388608 >>> 17 === 64. Actual: ' + (8388608 >>> 17));
}
if (16777216 >>> 17 !== 128) {
testFailed('#569: 16777216 >>> 17 === 128. Actual: ' + (16777216 >>> 17));
}
if (33554432 >>> 17 !== 256) {
testFailed('#570: 33554432 >>> 17 === 256. Actual: ' + (33554432 >>> 17));
}
if (67108864 >>> 17 !== 512) {
testFailed('#571: 67108864 >>> 17 === 512. Actual: ' + (67108864 >>> 17));
}
if (134217728 >>> 17 !== 1024) {
testFailed('#572: 134217728 >>> 17 === 1024. Actual: ' + (134217728 >>> 17));
}
if (268435456 >>> 17 !== 2048) {
testFailed('#573: 268435456 >>> 17 === 2048. Actual: ' + (268435456 >>> 17));
}
if (536870912 >>> 17 !== 4096) {
testFailed('#574: 536870912 >>> 17 === 4096. Actual: ' + (536870912 >>> 17));
}
if (1073741824 >>> 17 !== 8192) {
testFailed('#575: 1073741824 >>> 17 === 8192. Actual: ' + (1073741824 >>> 17));
}
if (2147483648 >>> 17 !== 16384) {
testFailed('#576: 2147483648 >>> 17 === 16384. Actual: ' + (2147483648 >>> 17));
}
if (1 >>> 18 !== 0) {
testFailed('#577: 1 >>> 18 === 0. Actual: ' + (1 >>> 18));
}
if (2 >>> 18 !== 0) {
testFailed('#578: 2 >>> 18 === 0. Actual: ' + (2 >>> 18));
}
if (4 >>> 18 !== 0) {
testFailed('#579: 4 >>> 18 === 0. Actual: ' + (4 >>> 18));
}
if (8 >>> 18 !== 0) {
testFailed('#580: 8 >>> 18 === 0. Actual: ' + (8 >>> 18));
}
if (16 >>> 18 !== 0) {
testFailed('#581: 16 >>> 18 === 0. Actual: ' + (16 >>> 18));
}
if (32 >>> 18 !== 0) {
testFailed('#582: 32 >>> 18 === 0. Actual: ' + (32 >>> 18));
}
if (64 >>> 18 !== 0) {
testFailed('#583: 64 >>> 18 === 0. Actual: ' + (64 >>> 18));
}
if (128 >>> 18 !== 0) {
testFailed('#584: 128 >>> 18 === 0. Actual: ' + (128 >>> 18));
}
if (256 >>> 18 !== 0) {
testFailed('#585: 256 >>> 18 === 0. Actual: ' + (256 >>> 18));
}
if (512 >>> 18 !== 0) {
testFailed('#586: 512 >>> 18 === 0. Actual: ' + (512 >>> 18));
}
if (1024 >>> 18 !== 0) {
testFailed('#587: 1024 >>> 18 === 0. Actual: ' + (1024 >>> 18));
}
if (2048 >>> 18 !== 0) {
testFailed('#588: 2048 >>> 18 === 0. Actual: ' + (2048 >>> 18));
}
if (4096 >>> 18 !== 0) {
testFailed('#589: 4096 >>> 18 === 0. Actual: ' + (4096 >>> 18));
}
if (8192 >>> 18 !== 0) {
testFailed('#590: 8192 >>> 18 === 0. Actual: ' + (8192 >>> 18));
}
if (16384 >>> 18 !== 0) {
testFailed('#591: 16384 >>> 18 === 0. Actual: ' + (16384 >>> 18));
}
if (32768 >>> 18 !== 0) {
testFailed('#592: 32768 >>> 18 === 0. Actual: ' + (32768 >>> 18));
}
if (65536 >>> 18 !== 0) {
testFailed('#593: 65536 >>> 18 === 0. Actual: ' + (65536 >>> 18));
}
if (131072 >>> 18 !== 0) {
testFailed('#594: 131072 >>> 18 === 0. Actual: ' + (131072 >>> 18));
}
if (262144 >>> 18 !== 1) {
testFailed('#595: 262144 >>> 18 === 1. Actual: ' + (262144 >>> 18));
}
if (524288 >>> 18 !== 2) {
testFailed('#596: 524288 >>> 18 === 2. Actual: ' + (524288 >>> 18));
}
if (1048576 >>> 18 !== 4) {
testFailed('#597: 1048576 >>> 18 === 4. Actual: ' + (1048576 >>> 18));
}
if (2097152 >>> 18 !== 8) {
testFailed('#598: 2097152 >>> 18 === 8. Actual: ' + (2097152 >>> 18));
}
if (4194304 >>> 18 !== 16) {
testFailed('#599: 4194304 >>> 18 === 16. Actual: ' + (4194304 >>> 18));
}
if (8388608 >>> 18 !== 32) {
testFailed('#600: 8388608 >>> 18 === 32. Actual: ' + (8388608 >>> 18));
}
if (16777216 >>> 18 !== 64) {
testFailed('#601: 16777216 >>> 18 === 64. Actual: ' + (16777216 >>> 18));
}
if (33554432 >>> 18 !== 128) {
testFailed('#602: 33554432 >>> 18 === 128. Actual: ' + (33554432 >>> 18));
}
if (67108864 >>> 18 !== 256) {
testFailed('#603: 67108864 >>> 18 === 256. Actual: ' + (67108864 >>> 18));
}
if (134217728 >>> 18 !== 512) {
testFailed('#604: 134217728 >>> 18 === 512. Actual: ' + (134217728 >>> 18));
}
if (268435456 >>> 18 !== 1024) {
testFailed('#605: 268435456 >>> 18 === 1024. Actual: ' + (268435456 >>> 18));
}
if (536870912 >>> 18 !== 2048) {
testFailed('#606: 536870912 >>> 18 === 2048. Actual: ' + (536870912 >>> 18));
}
if (1073741824 >>> 18 !== 4096) {
testFailed('#607: 1073741824 >>> 18 === 4096. Actual: ' + (1073741824 >>> 18));
}
if (2147483648 >>> 18 !== 8192) {
testFailed('#608: 2147483648 >>> 18 === 8192. Actual: ' + (2147483648 >>> 18));
}
if (1 >>> 19 !== 0) {
testFailed('#609: 1 >>> 19 === 0. Actual: ' + (1 >>> 19));
}
if (2 >>> 19 !== 0) {
testFailed('#610: 2 >>> 19 === 0. Actual: ' + (2 >>> 19));
}
if (4 >>> 19 !== 0) {
testFailed('#611: 4 >>> 19 === 0. Actual: ' + (4 >>> 19));
}
if (8 >>> 19 !== 0) {
testFailed('#612: 8 >>> 19 === 0. Actual: ' + (8 >>> 19));
}
if (16 >>> 19 !== 0) {
testFailed('#613: 16 >>> 19 === 0. Actual: ' + (16 >>> 19));
}
if (32 >>> 19 !== 0) {
testFailed('#614: 32 >>> 19 === 0. Actual: ' + (32 >>> 19));
}
if (64 >>> 19 !== 0) {
testFailed('#615: 64 >>> 19 === 0. Actual: ' + (64 >>> 19));
}
if (128 >>> 19 !== 0) {
testFailed('#616: 128 >>> 19 === 0. Actual: ' + (128 >>> 19));
}
if (256 >>> 19 !== 0) {
testFailed('#617: 256 >>> 19 === 0. Actual: ' + (256 >>> 19));
}
if (512 >>> 19 !== 0) {
testFailed('#618: 512 >>> 19 === 0. Actual: ' + (512 >>> 19));
}
if (1024 >>> 19 !== 0) {
testFailed('#619: 1024 >>> 19 === 0. Actual: ' + (1024 >>> 19));
}
if (2048 >>> 19 !== 0) {
testFailed('#620: 2048 >>> 19 === 0. Actual: ' + (2048 >>> 19));
}
if (4096 >>> 19 !== 0) {
testFailed('#621: 4096 >>> 19 === 0. Actual: ' + (4096 >>> 19));
}
if (8192 >>> 19 !== 0) {
testFailed('#622: 8192 >>> 19 === 0. Actual: ' + (8192 >>> 19));
}
if (16384 >>> 19 !== 0) {
testFailed('#623: 16384 >>> 19 === 0. Actual: ' + (16384 >>> 19));
}
if (32768 >>> 19 !== 0) {
testFailed('#624: 32768 >>> 19 === 0. Actual: ' + (32768 >>> 19));
}
if (65536 >>> 19 !== 0) {
testFailed('#625: 65536 >>> 19 === 0. Actual: ' + (65536 >>> 19));
}
if (131072 >>> 19 !== 0) {
testFailed('#626: 131072 >>> 19 === 0. Actual: ' + (131072 >>> 19));
}
if (262144 >>> 19 !== 0) {
testFailed('#627: 262144 >>> 19 === 0. Actual: ' + (262144 >>> 19));
}
if (524288 >>> 19 !== 1) {
testFailed('#628: 524288 >>> 19 === 1. Actual: ' + (524288 >>> 19));
}
if (1048576 >>> 19 !== 2) {
testFailed('#629: 1048576 >>> 19 === 2. Actual: ' + (1048576 >>> 19));
}
if (2097152 >>> 19 !== 4) {
testFailed('#630: 2097152 >>> 19 === 4. Actual: ' + (2097152 >>> 19));
}
if (4194304 >>> 19 !== 8) {
testFailed('#631: 4194304 >>> 19 === 8. Actual: ' + (4194304 >>> 19));
}
if (8388608 >>> 19 !== 16) {
testFailed('#632: 8388608 >>> 19 === 16. Actual: ' + (8388608 >>> 19));
}
if (16777216 >>> 19 !== 32) {
testFailed('#633: 16777216 >>> 19 === 32. Actual: ' + (16777216 >>> 19));
}
if (33554432 >>> 19 !== 64) {
testFailed('#634: 33554432 >>> 19 === 64. Actual: ' + (33554432 >>> 19));
}
if (67108864 >>> 19 !== 128) {
testFailed('#635: 67108864 >>> 19 === 128. Actual: ' + (67108864 >>> 19));
}
if (134217728 >>> 19 !== 256) {
testFailed('#636: 134217728 >>> 19 === 256. Actual: ' + (134217728 >>> 19));
}
if (268435456 >>> 19 !== 512) {
testFailed('#637: 268435456 >>> 19 === 512. Actual: ' + (268435456 >>> 19));
}
if (536870912 >>> 19 !== 1024) {
testFailed('#638: 536870912 >>> 19 === 1024. Actual: ' + (536870912 >>> 19));
}
if (1073741824 >>> 19 !== 2048) {
testFailed('#639: 1073741824 >>> 19 === 2048. Actual: ' + (1073741824 >>> 19));
}
if (2147483648 >>> 19 !== 4096) {
testFailed('#640: 2147483648 >>> 19 === 4096. Actual: ' + (2147483648 >>> 19));
}
if (1 >>> 20 !== 0) {
testFailed('#641: 1 >>> 20 === 0. Actual: ' + (1 >>> 20));
}
if (2 >>> 20 !== 0) {
testFailed('#642: 2 >>> 20 === 0. Actual: ' + (2 >>> 20));
}
if (4 >>> 20 !== 0) {
testFailed('#643: 4 >>> 20 === 0. Actual: ' + (4 >>> 20));
}
if (8 >>> 20 !== 0) {
testFailed('#644: 8 >>> 20 === 0. Actual: ' + (8 >>> 20));
}
if (16 >>> 20 !== 0) {
testFailed('#645: 16 >>> 20 === 0. Actual: ' + (16 >>> 20));
}
if (32 >>> 20 !== 0) {
testFailed('#646: 32 >>> 20 === 0. Actual: ' + (32 >>> 20));
}
if (64 >>> 20 !== 0) {
testFailed('#647: 64 >>> 20 === 0. Actual: ' + (64 >>> 20));
}
if (128 >>> 20 !== 0) {
testFailed('#648: 128 >>> 20 === 0. Actual: ' + (128 >>> 20));
}
if (256 >>> 20 !== 0) {
testFailed('#649: 256 >>> 20 === 0. Actual: ' + (256 >>> 20));
}
if (512 >>> 20 !== 0) {
testFailed('#650: 512 >>> 20 === 0. Actual: ' + (512 >>> 20));
}
if (1024 >>> 20 !== 0) {
testFailed('#651: 1024 >>> 20 === 0. Actual: ' + (1024 >>> 20));
}
if (2048 >>> 20 !== 0) {
testFailed('#652: 2048 >>> 20 === 0. Actual: ' + (2048 >>> 20));
}
if (4096 >>> 20 !== 0) {
testFailed('#653: 4096 >>> 20 === 0. Actual: ' + (4096 >>> 20));
}
if (8192 >>> 20 !== 0) {
testFailed('#654: 8192 >>> 20 === 0. Actual: ' + (8192 >>> 20));
}
if (16384 >>> 20 !== 0) {
testFailed('#655: 16384 >>> 20 === 0. Actual: ' + (16384 >>> 20));
}
if (32768 >>> 20 !== 0) {
testFailed('#656: 32768 >>> 20 === 0. Actual: ' + (32768 >>> 20));
}
if (65536 >>> 20 !== 0) {
testFailed('#657: 65536 >>> 20 === 0. Actual: ' + (65536 >>> 20));
}
if (131072 >>> 20 !== 0) {
testFailed('#658: 131072 >>> 20 === 0. Actual: ' + (131072 >>> 20));
}
if (262144 >>> 20 !== 0) {
testFailed('#659: 262144 >>> 20 === 0. Actual: ' + (262144 >>> 20));
}
if (524288 >>> 20 !== 0) {
testFailed('#660: 524288 >>> 20 === 0. Actual: ' + (524288 >>> 20));
}
if (1048576 >>> 20 !== 1) {
testFailed('#661: 1048576 >>> 20 === 1. Actual: ' + (1048576 >>> 20));
}
if (2097152 >>> 20 !== 2) {
testFailed('#662: 2097152 >>> 20 === 2. Actual: ' + (2097152 >>> 20));
}
if (4194304 >>> 20 !== 4) {
testFailed('#663: 4194304 >>> 20 === 4. Actual: ' + (4194304 >>> 20));
}
if (8388608 >>> 20 !== 8) {
testFailed('#664: 8388608 >>> 20 === 8. Actual: ' + (8388608 >>> 20));
}
if (16777216 >>> 20 !== 16) {
testFailed('#665: 16777216 >>> 20 === 16. Actual: ' + (16777216 >>> 20));
}
if (33554432 >>> 20 !== 32) {
testFailed('#666: 33554432 >>> 20 === 32. Actual: ' + (33554432 >>> 20));
}
if (67108864 >>> 20 !== 64) {
testFailed('#667: 67108864 >>> 20 === 64. Actual: ' + (67108864 >>> 20));
}
if (134217728 >>> 20 !== 128) {
testFailed('#668: 134217728 >>> 20 === 128. Actual: ' + (134217728 >>> 20));
}
if (268435456 >>> 20 !== 256) {
testFailed('#669: 268435456 >>> 20 === 256. Actual: ' + (268435456 >>> 20));
}
if (536870912 >>> 20 !== 512) {
testFailed('#670: 536870912 >>> 20 === 512. Actual: ' + (536870912 >>> 20));
}
if (1073741824 >>> 20 !== 1024) {
testFailed('#671: 1073741824 >>> 20 === 1024. Actual: ' + (1073741824 >>> 20));
}
if (2147483648 >>> 20 !== 2048) {
testFailed('#672: 2147483648 >>> 20 === 2048. Actual: ' + (2147483648 >>> 20));
}
if (1 >>> 21 !== 0) {
testFailed('#673: 1 >>> 21 === 0. Actual: ' + (1 >>> 21));
}
if (2 >>> 21 !== 0) {
testFailed('#674: 2 >>> 21 === 0. Actual: ' + (2 >>> 21));
}
if (4 >>> 21 !== 0) {
testFailed('#675: 4 >>> 21 === 0. Actual: ' + (4 >>> 21));
}
if (8 >>> 21 !== 0) {
testFailed('#676: 8 >>> 21 === 0. Actual: ' + (8 >>> 21));
}
if (16 >>> 21 !== 0) {
testFailed('#677: 16 >>> 21 === 0. Actual: ' + (16 >>> 21));
}
if (32 >>> 21 !== 0) {
testFailed('#678: 32 >>> 21 === 0. Actual: ' + (32 >>> 21));
}
if (64 >>> 21 !== 0) {
testFailed('#679: 64 >>> 21 === 0. Actual: ' + (64 >>> 21));
}
if (128 >>> 21 !== 0) {
testFailed('#680: 128 >>> 21 === 0. Actual: ' + (128 >>> 21));
}
if (256 >>> 21 !== 0) {
testFailed('#681: 256 >>> 21 === 0. Actual: ' + (256 >>> 21));
}
if (512 >>> 21 !== 0) {
testFailed('#682: 512 >>> 21 === 0. Actual: ' + (512 >>> 21));
}
if (1024 >>> 21 !== 0) {
testFailed('#683: 1024 >>> 21 === 0. Actual: ' + (1024 >>> 21));
}
if (2048 >>> 21 !== 0) {
testFailed('#684: 2048 >>> 21 === 0. Actual: ' + (2048 >>> 21));
}
if (4096 >>> 21 !== 0) {
testFailed('#685: 4096 >>> 21 === 0. Actual: ' + (4096 >>> 21));
}
if (8192 >>> 21 !== 0) {
testFailed('#686: 8192 >>> 21 === 0. Actual: ' + (8192 >>> 21));
}
if (16384 >>> 21 !== 0) {
testFailed('#687: 16384 >>> 21 === 0. Actual: ' + (16384 >>> 21));
}
if (32768 >>> 21 !== 0) {
testFailed('#688: 32768 >>> 21 === 0. Actual: ' + (32768 >>> 21));
}
if (65536 >>> 21 !== 0) {
testFailed('#689: 65536 >>> 21 === 0. Actual: ' + (65536 >>> 21));
}
if (131072 >>> 21 !== 0) {
testFailed('#690: 131072 >>> 21 === 0. Actual: ' + (131072 >>> 21));
}
if (262144 >>> 21 !== 0) {
testFailed('#691: 262144 >>> 21 === 0. Actual: ' + (262144 >>> 21));
}
if (524288 >>> 21 !== 0) {
testFailed('#692: 524288 >>> 21 === 0. Actual: ' + (524288 >>> 21));
}
if (1048576 >>> 21 !== 0) {
testFailed('#693: 1048576 >>> 21 === 0. Actual: ' + (1048576 >>> 21));
}
if (2097152 >>> 21 !== 1) {
testFailed('#694: 2097152 >>> 21 === 1. Actual: ' + (2097152 >>> 21));
}
if (4194304 >>> 21 !== 2) {
testFailed('#695: 4194304 >>> 21 === 2. Actual: ' + (4194304 >>> 21));
}
if (8388608 >>> 21 !== 4) {
testFailed('#696: 8388608 >>> 21 === 4. Actual: ' + (8388608 >>> 21));
}
if (16777216 >>> 21 !== 8) {
testFailed('#697: 16777216 >>> 21 === 8. Actual: ' + (16777216 >>> 21));
}
if (33554432 >>> 21 !== 16) {
testFailed('#698: 33554432 >>> 21 === 16. Actual: ' + (33554432 >>> 21));
}
if (67108864 >>> 21 !== 32) {
testFailed('#699: 67108864 >>> 21 === 32. Actual: ' + (67108864 >>> 21));
}
if (134217728 >>> 21 !== 64) {
testFailed('#700: 134217728 >>> 21 === 64. Actual: ' + (134217728 >>> 21));
}
if (268435456 >>> 21 !== 128) {
testFailed('#701: 268435456 >>> 21 === 128. Actual: ' + (268435456 >>> 21));
}
if (536870912 >>> 21 !== 256) {
testFailed('#702: 536870912 >>> 21 === 256. Actual: ' + (536870912 >>> 21));
}
if (1073741824 >>> 21 !== 512) {
testFailed('#703: 1073741824 >>> 21 === 512. Actual: ' + (1073741824 >>> 21));
}
if (2147483648 >>> 21 !== 1024) {
testFailed('#704: 2147483648 >>> 21 === 1024. Actual: ' + (2147483648 >>> 21));
}
if (1 >>> 22 !== 0) {
testFailed('#705: 1 >>> 22 === 0. Actual: ' + (1 >>> 22));
}
if (2 >>> 22 !== 0) {
testFailed('#706: 2 >>> 22 === 0. Actual: ' + (2 >>> 22));
}
if (4 >>> 22 !== 0) {
testFailed('#707: 4 >>> 22 === 0. Actual: ' + (4 >>> 22));
}
if (8 >>> 22 !== 0) {
testFailed('#708: 8 >>> 22 === 0. Actual: ' + (8 >>> 22));
}
if (16 >>> 22 !== 0) {
testFailed('#709: 16 >>> 22 === 0. Actual: ' + (16 >>> 22));
}
if (32 >>> 22 !== 0) {
testFailed('#710: 32 >>> 22 === 0. Actual: ' + (32 >>> 22));
}
if (64 >>> 22 !== 0) {
testFailed('#711: 64 >>> 22 === 0. Actual: ' + (64 >>> 22));
}
if (128 >>> 22 !== 0) {
testFailed('#712: 128 >>> 22 === 0. Actual: ' + (128 >>> 22));
}
if (256 >>> 22 !== 0) {
testFailed('#713: 256 >>> 22 === 0. Actual: ' + (256 >>> 22));
}
if (512 >>> 22 !== 0) {
testFailed('#714: 512 >>> 22 === 0. Actual: ' + (512 >>> 22));
}
if (1024 >>> 22 !== 0) {
testFailed('#715: 1024 >>> 22 === 0. Actual: ' + (1024 >>> 22));
}
if (2048 >>> 22 !== 0) {
testFailed('#716: 2048 >>> 22 === 0. Actual: ' + (2048 >>> 22));
}
if (4096 >>> 22 !== 0) {
testFailed('#717: 4096 >>> 22 === 0. Actual: ' + (4096 >>> 22));
}
if (8192 >>> 22 !== 0) {
testFailed('#718: 8192 >>> 22 === 0. Actual: ' + (8192 >>> 22));
}
if (16384 >>> 22 !== 0) {
testFailed('#719: 16384 >>> 22 === 0. Actual: ' + (16384 >>> 22));
}
if (32768 >>> 22 !== 0) {
testFailed('#720: 32768 >>> 22 === 0. Actual: ' + (32768 >>> 22));
}
if (65536 >>> 22 !== 0) {
testFailed('#721: 65536 >>> 22 === 0. Actual: ' + (65536 >>> 22));
}
if (131072 >>> 22 !== 0) {
testFailed('#722: 131072 >>> 22 === 0. Actual: ' + (131072 >>> 22));
}
if (262144 >>> 22 !== 0) {
testFailed('#723: 262144 >>> 22 === 0. Actual: ' + (262144 >>> 22));
}
if (524288 >>> 22 !== 0) {
testFailed('#724: 524288 >>> 22 === 0. Actual: ' + (524288 >>> 22));
}
if (1048576 >>> 22 !== 0) {
testFailed('#725: 1048576 >>> 22 === 0. Actual: ' + (1048576 >>> 22));
}
if (2097152 >>> 22 !== 0) {
testFailed('#726: 2097152 >>> 22 === 0. Actual: ' + (2097152 >>> 22));
}
if (4194304 >>> 22 !== 1) {
testFailed('#727: 4194304 >>> 22 === 1. Actual: ' + (4194304 >>> 22));
}
if (8388608 >>> 22 !== 2) {
testFailed('#728: 8388608 >>> 22 === 2. Actual: ' + (8388608 >>> 22));
}
if (16777216 >>> 22 !== 4) {
testFailed('#729: 16777216 >>> 22 === 4. Actual: ' + (16777216 >>> 22));
}
if (33554432 >>> 22 !== 8) {
testFailed('#730: 33554432 >>> 22 === 8. Actual: ' + (33554432 >>> 22));
}
if (67108864 >>> 22 !== 16) {
testFailed('#731: 67108864 >>> 22 === 16. Actual: ' + (67108864 >>> 22));
}
if (134217728 >>> 22 !== 32) {
testFailed('#732: 134217728 >>> 22 === 32. Actual: ' + (134217728 >>> 22));
}
if (268435456 >>> 22 !== 64) {
testFailed('#733: 268435456 >>> 22 === 64. Actual: ' + (268435456 >>> 22));
}
if (536870912 >>> 22 !== 128) {
testFailed('#734: 536870912 >>> 22 === 128. Actual: ' + (536870912 >>> 22));
}
if (1073741824 >>> 22 !== 256) {
testFailed('#735: 1073741824 >>> 22 === 256. Actual: ' + (1073741824 >>> 22));
}
if (2147483648 >>> 22 !== 512) {
testFailed('#736: 2147483648 >>> 22 === 512. Actual: ' + (2147483648 >>> 22));
}
if (1 >>> 23 !== 0) {
testFailed('#737: 1 >>> 23 === 0. Actual: ' + (1 >>> 23));
}
if (2 >>> 23 !== 0) {
testFailed('#738: 2 >>> 23 === 0. Actual: ' + (2 >>> 23));
}
if (4 >>> 23 !== 0) {
testFailed('#739: 4 >>> 23 === 0. Actual: ' + (4 >>> 23));
}
if (8 >>> 23 !== 0) {
testFailed('#740: 8 >>> 23 === 0. Actual: ' + (8 >>> 23));
}
if (16 >>> 23 !== 0) {
testFailed('#741: 16 >>> 23 === 0. Actual: ' + (16 >>> 23));
}
if (32 >>> 23 !== 0) {
testFailed('#742: 32 >>> 23 === 0. Actual: ' + (32 >>> 23));
}
if (64 >>> 23 !== 0) {
testFailed('#743: 64 >>> 23 === 0. Actual: ' + (64 >>> 23));
}
if (128 >>> 23 !== 0) {
testFailed('#744: 128 >>> 23 === 0. Actual: ' + (128 >>> 23));
}
if (256 >>> 23 !== 0) {
testFailed('#745: 256 >>> 23 === 0. Actual: ' + (256 >>> 23));
}
if (512 >>> 23 !== 0) {
testFailed('#746: 512 >>> 23 === 0. Actual: ' + (512 >>> 23));
}
if (1024 >>> 23 !== 0) {
testFailed('#747: 1024 >>> 23 === 0. Actual: ' + (1024 >>> 23));
}
if (2048 >>> 23 !== 0) {
testFailed('#748: 2048 >>> 23 === 0. Actual: ' + (2048 >>> 23));
}
if (4096 >>> 23 !== 0) {
testFailed('#749: 4096 >>> 23 === 0. Actual: ' + (4096 >>> 23));
}
if (8192 >>> 23 !== 0) {
testFailed('#750: 8192 >>> 23 === 0. Actual: ' + (8192 >>> 23));
}
if (16384 >>> 23 !== 0) {
testFailed('#751: 16384 >>> 23 === 0. Actual: ' + (16384 >>> 23));
}
if (32768 >>> 23 !== 0) {
testFailed('#752: 32768 >>> 23 === 0. Actual: ' + (32768 >>> 23));
}
if (65536 >>> 23 !== 0) {
testFailed('#753: 65536 >>> 23 === 0. Actual: ' + (65536 >>> 23));
}
if (131072 >>> 23 !== 0) {
testFailed('#754: 131072 >>> 23 === 0. Actual: ' + (131072 >>> 23));
}
if (262144 >>> 23 !== 0) {
testFailed('#755: 262144 >>> 23 === 0. Actual: ' + (262144 >>> 23));
}
if (524288 >>> 23 !== 0) {
testFailed('#756: 524288 >>> 23 === 0. Actual: ' + (524288 >>> 23));
}
if (1048576 >>> 23 !== 0) {
testFailed('#757: 1048576 >>> 23 === 0. Actual: ' + (1048576 >>> 23));
}
if (2097152 >>> 23 !== 0) {
testFailed('#758: 2097152 >>> 23 === 0. Actual: ' + (2097152 >>> 23));
}
if (4194304 >>> 23 !== 0) {
testFailed('#759: 4194304 >>> 23 === 0. Actual: ' + (4194304 >>> 23));
}
if (8388608 >>> 23 !== 1) {
testFailed('#760: 8388608 >>> 23 === 1. Actual: ' + (8388608 >>> 23));
}
if (16777216 >>> 23 !== 2) {
testFailed('#761: 16777216 >>> 23 === 2. Actual: ' + (16777216 >>> 23));
}
if (33554432 >>> 23 !== 4) {
testFailed('#762: 33554432 >>> 23 === 4. Actual: ' + (33554432 >>> 23));
}
if (67108864 >>> 23 !== 8) {
testFailed('#763: 67108864 >>> 23 === 8. Actual: ' + (67108864 >>> 23));
}
if (134217728 >>> 23 !== 16) {
testFailed('#764: 134217728 >>> 23 === 16. Actual: ' + (134217728 >>> 23));
}
if (268435456 >>> 23 !== 32) {
testFailed('#765: 268435456 >>> 23 === 32. Actual: ' + (268435456 >>> 23));
}
if (536870912 >>> 23 !== 64) {
testFailed('#766: 536870912 >>> 23 === 64. Actual: ' + (536870912 >>> 23));
}
if (1073741824 >>> 23 !== 128) {
testFailed('#767: 1073741824 >>> 23 === 128. Actual: ' + (1073741824 >>> 23));
}
if (2147483648 >>> 23 !== 256) {
testFailed('#768: 2147483648 >>> 23 === 256. Actual: ' + (2147483648 >>> 23));
}
if (1 >>> 24 !== 0) {
testFailed('#769: 1 >>> 24 === 0. Actual: ' + (1 >>> 24));
}
if (2 >>> 24 !== 0) {
testFailed('#770: 2 >>> 24 === 0. Actual: ' + (2 >>> 24));
}
if (4 >>> 24 !== 0) {
testFailed('#771: 4 >>> 24 === 0. Actual: ' + (4 >>> 24));
}
if (8 >>> 24 !== 0) {
testFailed('#772: 8 >>> 24 === 0. Actual: ' + (8 >>> 24));
}
if (16 >>> 24 !== 0) {
testFailed('#773: 16 >>> 24 === 0. Actual: ' + (16 >>> 24));
}
if (32 >>> 24 !== 0) {
testFailed('#774: 32 >>> 24 === 0. Actual: ' + (32 >>> 24));
}
if (64 >>> 24 !== 0) {
testFailed('#775: 64 >>> 24 === 0. Actual: ' + (64 >>> 24));
}
if (128 >>> 24 !== 0) {
testFailed('#776: 128 >>> 24 === 0. Actual: ' + (128 >>> 24));
}
if (256 >>> 24 !== 0) {
testFailed('#777: 256 >>> 24 === 0. Actual: ' + (256 >>> 24));
}
if (512 >>> 24 !== 0) {
testFailed('#778: 512 >>> 24 === 0. Actual: ' + (512 >>> 24));
}
if (1024 >>> 24 !== 0) {
testFailed('#779: 1024 >>> 24 === 0. Actual: ' + (1024 >>> 24));
}
if (2048 >>> 24 !== 0) {
testFailed('#780: 2048 >>> 24 === 0. Actual: ' + (2048 >>> 24));
}
if (4096 >>> 24 !== 0) {
testFailed('#781: 4096 >>> 24 === 0. Actual: ' + (4096 >>> 24));
}
if (8192 >>> 24 !== 0) {
testFailed('#782: 8192 >>> 24 === 0. Actual: ' + (8192 >>> 24));
}
if (16384 >>> 24 !== 0) {
testFailed('#783: 16384 >>> 24 === 0. Actual: ' + (16384 >>> 24));
}
if (32768 >>> 24 !== 0) {
testFailed('#784: 32768 >>> 24 === 0. Actual: ' + (32768 >>> 24));
}
if (65536 >>> 24 !== 0) {
testFailed('#785: 65536 >>> 24 === 0. Actual: ' + (65536 >>> 24));
}
if (131072 >>> 24 !== 0) {
testFailed('#786: 131072 >>> 24 === 0. Actual: ' + (131072 >>> 24));
}
if (262144 >>> 24 !== 0) {
testFailed('#787: 262144 >>> 24 === 0. Actual: ' + (262144 >>> 24));
}
if (524288 >>> 24 !== 0) {
testFailed('#788: 524288 >>> 24 === 0. Actual: ' + (524288 >>> 24));
}
if (1048576 >>> 24 !== 0) {
testFailed('#789: 1048576 >>> 24 === 0. Actual: ' + (1048576 >>> 24));
}
if (2097152 >>> 24 !== 0) {
testFailed('#790: 2097152 >>> 24 === 0. Actual: ' + (2097152 >>> 24));
}
if (4194304 >>> 24 !== 0) {
testFailed('#791: 4194304 >>> 24 === 0. Actual: ' + (4194304 >>> 24));
}
if (8388608 >>> 24 !== 0) {
testFailed('#792: 8388608 >>> 24 === 0. Actual: ' + (8388608 >>> 24));
}
if (16777216 >>> 24 !== 1) {
testFailed('#793: 16777216 >>> 24 === 1. Actual: ' + (16777216 >>> 24));
}
if (33554432 >>> 24 !== 2) {
testFailed('#794: 33554432 >>> 24 === 2. Actual: ' + (33554432 >>> 24));
}
if (67108864 >>> 24 !== 4) {
testFailed('#795: 67108864 >>> 24 === 4. Actual: ' + (67108864 >>> 24));
}
if (134217728 >>> 24 !== 8) {
testFailed('#796: 134217728 >>> 24 === 8. Actual: ' + (134217728 >>> 24));
}
if (268435456 >>> 24 !== 16) {
testFailed('#797: 268435456 >>> 24 === 16. Actual: ' + (268435456 >>> 24));
}
if (536870912 >>> 24 !== 32) {
testFailed('#798: 536870912 >>> 24 === 32. Actual: ' + (536870912 >>> 24));
}
if (1073741824 >>> 24 !== 64) {
testFailed('#799: 1073741824 >>> 24 === 64. Actual: ' + (1073741824 >>> 24));
}
if (2147483648 >>> 24 !== 128) {
testFailed('#800: 2147483648 >>> 24 === 128. Actual: ' + (2147483648 >>> 24));
}
if (1 >>> 25 !== 0) {
testFailed('#801: 1 >>> 25 === 0. Actual: ' + (1 >>> 25));
}
if (2 >>> 25 !== 0) {
testFailed('#802: 2 >>> 25 === 0. Actual: ' + (2 >>> 25));
}
if (4 >>> 25 !== 0) {
testFailed('#803: 4 >>> 25 === 0. Actual: ' + (4 >>> 25));
}
if (8 >>> 25 !== 0) {
testFailed('#804: 8 >>> 25 === 0. Actual: ' + (8 >>> 25));
}
if (16 >>> 25 !== 0) {
testFailed('#805: 16 >>> 25 === 0. Actual: ' + (16 >>> 25));
}
if (32 >>> 25 !== 0) {
testFailed('#806: 32 >>> 25 === 0. Actual: ' + (32 >>> 25));
}
if (64 >>> 25 !== 0) {
testFailed('#807: 64 >>> 25 === 0. Actual: ' + (64 >>> 25));
}
if (128 >>> 25 !== 0) {
testFailed('#808: 128 >>> 25 === 0. Actual: ' + (128 >>> 25));
}
if (256 >>> 25 !== 0) {
testFailed('#809: 256 >>> 25 === 0. Actual: ' + (256 >>> 25));
}
if (512 >>> 25 !== 0) {
testFailed('#810: 512 >>> 25 === 0. Actual: ' + (512 >>> 25));
}
if (1024 >>> 25 !== 0) {
testFailed('#811: 1024 >>> 25 === 0. Actual: ' + (1024 >>> 25));
}
if (2048 >>> 25 !== 0) {
testFailed('#812: 2048 >>> 25 === 0. Actual: ' + (2048 >>> 25));
}
if (4096 >>> 25 !== 0) {
testFailed('#813: 4096 >>> 25 === 0. Actual: ' + (4096 >>> 25));
}
if (8192 >>> 25 !== 0) {
testFailed('#814: 8192 >>> 25 === 0. Actual: ' + (8192 >>> 25));
}
if (16384 >>> 25 !== 0) {
testFailed('#815: 16384 >>> 25 === 0. Actual: ' + (16384 >>> 25));
}
if (32768 >>> 25 !== 0) {
testFailed('#816: 32768 >>> 25 === 0. Actual: ' + (32768 >>> 25));
}
if (65536 >>> 25 !== 0) {
testFailed('#817: 65536 >>> 25 === 0. Actual: ' + (65536 >>> 25));
}
if (131072 >>> 25 !== 0) {
testFailed('#818: 131072 >>> 25 === 0. Actual: ' + (131072 >>> 25));
}
if (262144 >>> 25 !== 0) {
testFailed('#819: 262144 >>> 25 === 0. Actual: ' + (262144 >>> 25));
}
if (524288 >>> 25 !== 0) {
testFailed('#820: 524288 >>> 25 === 0. Actual: ' + (524288 >>> 25));
}
if (1048576 >>> 25 !== 0) {
testFailed('#821: 1048576 >>> 25 === 0. Actual: ' + (1048576 >>> 25));
}
if (2097152 >>> 25 !== 0) {
testFailed('#822: 2097152 >>> 25 === 0. Actual: ' + (2097152 >>> 25));
}
if (4194304 >>> 25 !== 0) {
testFailed('#823: 4194304 >>> 25 === 0. Actual: ' + (4194304 >>> 25));
}
if (8388608 >>> 25 !== 0) {
testFailed('#824: 8388608 >>> 25 === 0. Actual: ' + (8388608 >>> 25));
}
if (16777216 >>> 25 !== 0) {
testFailed('#825: 16777216 >>> 25 === 0. Actual: ' + (16777216 >>> 25));
}
if (33554432 >>> 25 !== 1) {
testFailed('#826: 33554432 >>> 25 === 1. Actual: ' + (33554432 >>> 25));
}
if (67108864 >>> 25 !== 2) {
testFailed('#827: 67108864 >>> 25 === 2. Actual: ' + (67108864 >>> 25));
}
if (134217728 >>> 25 !== 4) {
testFailed('#828: 134217728 >>> 25 === 4. Actual: ' + (134217728 >>> 25));
}
if (268435456 >>> 25 !== 8) {
testFailed('#829: 268435456 >>> 25 === 8. Actual: ' + (268435456 >>> 25));
}
if (536870912 >>> 25 !== 16) {
testFailed('#830: 536870912 >>> 25 === 16. Actual: ' + (536870912 >>> 25));
}
if (1073741824 >>> 25 !== 32) {
testFailed('#831: 1073741824 >>> 25 === 32. Actual: ' + (1073741824 >>> 25));
}
if (2147483648 >>> 25 !== 64) {
testFailed('#832: 2147483648 >>> 25 === 64. Actual: ' + (2147483648 >>> 25));
}
if (1 >>> 26 !== 0) {
testFailed('#833: 1 >>> 26 === 0. Actual: ' + (1 >>> 26));
}
if (2 >>> 26 !== 0) {
testFailed('#834: 2 >>> 26 === 0. Actual: ' + (2 >>> 26));
}
if (4 >>> 26 !== 0) {
testFailed('#835: 4 >>> 26 === 0. Actual: ' + (4 >>> 26));
}
if (8 >>> 26 !== 0) {
testFailed('#836: 8 >>> 26 === 0. Actual: ' + (8 >>> 26));
}
if (16 >>> 26 !== 0) {
testFailed('#837: 16 >>> 26 === 0. Actual: ' + (16 >>> 26));
}
if (32 >>> 26 !== 0) {
testFailed('#838: 32 >>> 26 === 0. Actual: ' + (32 >>> 26));
}
if (64 >>> 26 !== 0) {
testFailed('#839: 64 >>> 26 === 0. Actual: ' + (64 >>> 26));
}
if (128 >>> 26 !== 0) {
testFailed('#840: 128 >>> 26 === 0. Actual: ' + (128 >>> 26));
}
if (256 >>> 26 !== 0) {
testFailed('#841: 256 >>> 26 === 0. Actual: ' + (256 >>> 26));
}
if (512 >>> 26 !== 0) {
testFailed('#842: 512 >>> 26 === 0. Actual: ' + (512 >>> 26));
}
if (1024 >>> 26 !== 0) {
testFailed('#843: 1024 >>> 26 === 0. Actual: ' + (1024 >>> 26));
}
if (2048 >>> 26 !== 0) {
testFailed('#844: 2048 >>> 26 === 0. Actual: ' + (2048 >>> 26));
}
if (4096 >>> 26 !== 0) {
testFailed('#845: 4096 >>> 26 === 0. Actual: ' + (4096 >>> 26));
}
if (8192 >>> 26 !== 0) {
testFailed('#846: 8192 >>> 26 === 0. Actual: ' + (8192 >>> 26));
}
if (16384 >>> 26 !== 0) {
testFailed('#847: 16384 >>> 26 === 0. Actual: ' + (16384 >>> 26));
}
if (32768 >>> 26 !== 0) {
testFailed('#848: 32768 >>> 26 === 0. Actual: ' + (32768 >>> 26));
}
if (65536 >>> 26 !== 0) {
testFailed('#849: 65536 >>> 26 === 0. Actual: ' + (65536 >>> 26));
}
if (131072 >>> 26 !== 0) {
testFailed('#850: 131072 >>> 26 === 0. Actual: ' + (131072 >>> 26));
}
if (262144 >>> 26 !== 0) {
testFailed('#851: 262144 >>> 26 === 0. Actual: ' + (262144 >>> 26));
}
if (524288 >>> 26 !== 0) {
testFailed('#852: 524288 >>> 26 === 0. Actual: ' + (524288 >>> 26));
}
if (1048576 >>> 26 !== 0) {
testFailed('#853: 1048576 >>> 26 === 0. Actual: ' + (1048576 >>> 26));
}
if (2097152 >>> 26 !== 0) {
testFailed('#854: 2097152 >>> 26 === 0. Actual: ' + (2097152 >>> 26));
}
if (4194304 >>> 26 !== 0) {
testFailed('#855: 4194304 >>> 26 === 0. Actual: ' + (4194304 >>> 26));
}
if (8388608 >>> 26 !== 0) {
testFailed('#856: 8388608 >>> 26 === 0. Actual: ' + (8388608 >>> 26));
}
if (16777216 >>> 26 !== 0) {
testFailed('#857: 16777216 >>> 26 === 0. Actual: ' + (16777216 >>> 26));
}
if (33554432 >>> 26 !== 0) {
testFailed('#858: 33554432 >>> 26 === 0. Actual: ' + (33554432 >>> 26));
}
if (67108864 >>> 26 !== 1) {
testFailed('#859: 67108864 >>> 26 === 1. Actual: ' + (67108864 >>> 26));
}
if (134217728 >>> 26 !== 2) {
testFailed('#860: 134217728 >>> 26 === 2. Actual: ' + (134217728 >>> 26));
}
if (268435456 >>> 26 !== 4) {
testFailed('#861: 268435456 >>> 26 === 4. Actual: ' + (268435456 >>> 26));
}
if (536870912 >>> 26 !== 8) {
testFailed('#862: 536870912 >>> 26 === 8. Actual: ' + (536870912 >>> 26));
}
if (1073741824 >>> 26 !== 16) {
testFailed('#863: 1073741824 >>> 26 === 16. Actual: ' + (1073741824 >>> 26));
}
if (2147483648 >>> 26 !== 32) {
testFailed('#864: 2147483648 >>> 26 === 32. Actual: ' + (2147483648 >>> 26));
}
if (1 >>> 27 !== 0) {
testFailed('#865: 1 >>> 27 === 0. Actual: ' + (1 >>> 27));
}
if (2 >>> 27 !== 0) {
testFailed('#866: 2 >>> 27 === 0. Actual: ' + (2 >>> 27));
}
if (4 >>> 27 !== 0) {
testFailed('#867: 4 >>> 27 === 0. Actual: ' + (4 >>> 27));
}
if (8 >>> 27 !== 0) {
testFailed('#868: 8 >>> 27 === 0. Actual: ' + (8 >>> 27));
}
if (16 >>> 27 !== 0) {
testFailed('#869: 16 >>> 27 === 0. Actual: ' + (16 >>> 27));
}
if (32 >>> 27 !== 0) {
testFailed('#870: 32 >>> 27 === 0. Actual: ' + (32 >>> 27));
}
if (64 >>> 27 !== 0) {
testFailed('#871: 64 >>> 27 === 0. Actual: ' + (64 >>> 27));
}
if (128 >>> 27 !== 0) {
testFailed('#872: 128 >>> 27 === 0. Actual: ' + (128 >>> 27));
}
if (256 >>> 27 !== 0) {
testFailed('#873: 256 >>> 27 === 0. Actual: ' + (256 >>> 27));
}
if (512 >>> 27 !== 0) {
testFailed('#874: 512 >>> 27 === 0. Actual: ' + (512 >>> 27));
}
if (1024 >>> 27 !== 0) {
testFailed('#875: 1024 >>> 27 === 0. Actual: ' + (1024 >>> 27));
}
if (2048 >>> 27 !== 0) {
testFailed('#876: 2048 >>> 27 === 0. Actual: ' + (2048 >>> 27));
}
if (4096 >>> 27 !== 0) {
testFailed('#877: 4096 >>> 27 === 0. Actual: ' + (4096 >>> 27));
}
if (8192 >>> 27 !== 0) {
testFailed('#878: 8192 >>> 27 === 0. Actual: ' + (8192 >>> 27));
}
if (16384 >>> 27 !== 0) {
testFailed('#879: 16384 >>> 27 === 0. Actual: ' + (16384 >>> 27));
}
if (32768 >>> 27 !== 0) {
testFailed('#880: 32768 >>> 27 === 0. Actual: ' + (32768 >>> 27));
}
if (65536 >>> 27 !== 0) {
testFailed('#881: 65536 >>> 27 === 0. Actual: ' + (65536 >>> 27));
}
if (131072 >>> 27 !== 0) {
testFailed('#882: 131072 >>> 27 === 0. Actual: ' + (131072 >>> 27));
}
if (262144 >>> 27 !== 0) {
testFailed('#883: 262144 >>> 27 === 0. Actual: ' + (262144 >>> 27));
}
if (524288 >>> 27 !== 0) {
testFailed('#884: 524288 >>> 27 === 0. Actual: ' + (524288 >>> 27));
}
if (1048576 >>> 27 !== 0) {
testFailed('#885: 1048576 >>> 27 === 0. Actual: ' + (1048576 >>> 27));
}
if (2097152 >>> 27 !== 0) {
testFailed('#886: 2097152 >>> 27 === 0. Actual: ' + (2097152 >>> 27));
}
if (4194304 >>> 27 !== 0) {
testFailed('#887: 4194304 >>> 27 === 0. Actual: ' + (4194304 >>> 27));
}
if (8388608 >>> 27 !== 0) {
testFailed('#888: 8388608 >>> 27 === 0. Actual: ' + (8388608 >>> 27));
}
if (16777216 >>> 27 !== 0) {
testFailed('#889: 16777216 >>> 27 === 0. Actual: ' + (16777216 >>> 27));
}
if (33554432 >>> 27 !== 0) {
testFailed('#890: 33554432 >>> 27 === 0. Actual: ' + (33554432 >>> 27));
}
if (67108864 >>> 27 !== 0) {
testFailed('#891: 67108864 >>> 27 === 0. Actual: ' + (67108864 >>> 27));
}
if (134217728 >>> 27 !== 1) {
testFailed('#892: 134217728 >>> 27 === 1. Actual: ' + (134217728 >>> 27));
}
if (268435456 >>> 27 !== 2) {
testFailed('#893: 268435456 >>> 27 === 2. Actual: ' + (268435456 >>> 27));
}
if (536870912 >>> 27 !== 4) {
testFailed('#894: 536870912 >>> 27 === 4. Actual: ' + (536870912 >>> 27));
}
if (1073741824 >>> 27 !== 8) {
testFailed('#895: 1073741824 >>> 27 === 8. Actual: ' + (1073741824 >>> 27));
}
if (2147483648 >>> 27 !== 16) {
testFailed('#896: 2147483648 >>> 27 === 16. Actual: ' + (2147483648 >>> 27));
}
if (1 >>> 28 !== 0) {
testFailed('#897: 1 >>> 28 === 0. Actual: ' + (1 >>> 28));
}
if (2 >>> 28 !== 0) {
testFailed('#898: 2 >>> 28 === 0. Actual: ' + (2 >>> 28));
}
if (4 >>> 28 !== 0) {
testFailed('#899: 4 >>> 28 === 0. Actual: ' + (4 >>> 28));
}
if (8 >>> 28 !== 0) {
testFailed('#900: 8 >>> 28 === 0. Actual: ' + (8 >>> 28));
}
if (16 >>> 28 !== 0) {
testFailed('#901: 16 >>> 28 === 0. Actual: ' + (16 >>> 28));
}
if (32 >>> 28 !== 0) {
testFailed('#902: 32 >>> 28 === 0. Actual: ' + (32 >>> 28));
}
if (64 >>> 28 !== 0) {
testFailed('#903: 64 >>> 28 === 0. Actual: ' + (64 >>> 28));
}
if (128 >>> 28 !== 0) {
testFailed('#904: 128 >>> 28 === 0. Actual: ' + (128 >>> 28));
}
if (256 >>> 28 !== 0) {
testFailed('#905: 256 >>> 28 === 0. Actual: ' + (256 >>> 28));
}
if (512 >>> 28 !== 0) {
testFailed('#906: 512 >>> 28 === 0. Actual: ' + (512 >>> 28));
}
if (1024 >>> 28 !== 0) {
testFailed('#907: 1024 >>> 28 === 0. Actual: ' + (1024 >>> 28));
}
if (2048 >>> 28 !== 0) {
testFailed('#908: 2048 >>> 28 === 0. Actual: ' + (2048 >>> 28));
}
if (4096 >>> 28 !== 0) {
testFailed('#909: 4096 >>> 28 === 0. Actual: ' + (4096 >>> 28));
}
if (8192 >>> 28 !== 0) {
testFailed('#910: 8192 >>> 28 === 0. Actual: ' + (8192 >>> 28));
}
if (16384 >>> 28 !== 0) {
testFailed('#911: 16384 >>> 28 === 0. Actual: ' + (16384 >>> 28));
}
if (32768 >>> 28 !== 0) {
testFailed('#912: 32768 >>> 28 === 0. Actual: ' + (32768 >>> 28));
}
if (65536 >>> 28 !== 0) {
testFailed('#913: 65536 >>> 28 === 0. Actual: ' + (65536 >>> 28));
}
if (131072 >>> 28 !== 0) {
testFailed('#914: 131072 >>> 28 === 0. Actual: ' + (131072 >>> 28));
}
if (262144 >>> 28 !== 0) {
testFailed('#915: 262144 >>> 28 === 0. Actual: ' + (262144 >>> 28));
}
if (524288 >>> 28 !== 0) {
testFailed('#916: 524288 >>> 28 === 0. Actual: ' + (524288 >>> 28));
}
if (1048576 >>> 28 !== 0) {
testFailed('#917: 1048576 >>> 28 === 0. Actual: ' + (1048576 >>> 28));
}
if (2097152 >>> 28 !== 0) {
testFailed('#918: 2097152 >>> 28 === 0. Actual: ' + (2097152 >>> 28));
}
if (4194304 >>> 28 !== 0) {
testFailed('#919: 4194304 >>> 28 === 0. Actual: ' + (4194304 >>> 28));
}
if (8388608 >>> 28 !== 0) {
testFailed('#920: 8388608 >>> 28 === 0. Actual: ' + (8388608 >>> 28));
}
if (16777216 >>> 28 !== 0) {
testFailed('#921: 16777216 >>> 28 === 0. Actual: ' + (16777216 >>> 28));
}
if (33554432 >>> 28 !== 0) {
testFailed('#922: 33554432 >>> 28 === 0. Actual: ' + (33554432 >>> 28));
}
if (67108864 >>> 28 !== 0) {
testFailed('#923: 67108864 >>> 28 === 0. Actual: ' + (67108864 >>> 28));
}
if (134217728 >>> 28 !== 0) {
testFailed('#924: 134217728 >>> 28 === 0. Actual: ' + (134217728 >>> 28));
}
if (268435456 >>> 28 !== 1) {
testFailed('#925: 268435456 >>> 28 === 1. Actual: ' + (268435456 >>> 28));
}
if (536870912 >>> 28 !== 2) {
testFailed('#926: 536870912 >>> 28 === 2. Actual: ' + (536870912 >>> 28));
}
if (1073741824 >>> 28 !== 4) {
testFailed('#927: 1073741824 >>> 28 === 4. Actual: ' + (1073741824 >>> 28));
}
if (2147483648 >>> 28 !== 8) {
testFailed('#928: 2147483648 >>> 28 === 8. Actual: ' + (2147483648 >>> 28));
}
if (1 >>> 29 !== 0) {
testFailed('#929: 1 >>> 29 === 0. Actual: ' + (1 >>> 29));
}
if (2 >>> 29 !== 0) {
testFailed('#930: 2 >>> 29 === 0. Actual: ' + (2 >>> 29));
}
if (4 >>> 29 !== 0) {
testFailed('#931: 4 >>> 29 === 0. Actual: ' + (4 >>> 29));
}
if (8 >>> 29 !== 0) {
testFailed('#932: 8 >>> 29 === 0. Actual: ' + (8 >>> 29));
}
if (16 >>> 29 !== 0) {
testFailed('#933: 16 >>> 29 === 0. Actual: ' + (16 >>> 29));
}
if (32 >>> 29 !== 0) {
testFailed('#934: 32 >>> 29 === 0. Actual: ' + (32 >>> 29));
}
if (64 >>> 29 !== 0) {
testFailed('#935: 64 >>> 29 === 0. Actual: ' + (64 >>> 29));
}
if (128 >>> 29 !== 0) {
testFailed('#936: 128 >>> 29 === 0. Actual: ' + (128 >>> 29));
}
if (256 >>> 29 !== 0) {
testFailed('#937: 256 >>> 29 === 0. Actual: ' + (256 >>> 29));
}
if (512 >>> 29 !== 0) {
testFailed('#938: 512 >>> 29 === 0. Actual: ' + (512 >>> 29));
}
if (1024 >>> 29 !== 0) {
testFailed('#939: 1024 >>> 29 === 0. Actual: ' + (1024 >>> 29));
}
if (2048 >>> 29 !== 0) {
testFailed('#940: 2048 >>> 29 === 0. Actual: ' + (2048 >>> 29));
}
if (4096 >>> 29 !== 0) {
testFailed('#941: 4096 >>> 29 === 0. Actual: ' + (4096 >>> 29));
}
if (8192 >>> 29 !== 0) {
testFailed('#942: 8192 >>> 29 === 0. Actual: ' + (8192 >>> 29));
}
if (16384 >>> 29 !== 0) {
testFailed('#943: 16384 >>> 29 === 0. Actual: ' + (16384 >>> 29));
}
if (32768 >>> 29 !== 0) {
testFailed('#944: 32768 >>> 29 === 0. Actual: ' + (32768 >>> 29));
}
if (65536 >>> 29 !== 0) {
testFailed('#945: 65536 >>> 29 === 0. Actual: ' + (65536 >>> 29));
}
if (131072 >>> 29 !== 0) {
testFailed('#946: 131072 >>> 29 === 0. Actual: ' + (131072 >>> 29));
}
if (262144 >>> 29 !== 0) {
testFailed('#947: 262144 >>> 29 === 0. Actual: ' + (262144 >>> 29));
}
if (524288 >>> 29 !== 0) {
testFailed('#948: 524288 >>> 29 === 0. Actual: ' + (524288 >>> 29));
}
if (1048576 >>> 29 !== 0) {
testFailed('#949: 1048576 >>> 29 === 0. Actual: ' + (1048576 >>> 29));
}
if (2097152 >>> 29 !== 0) {
testFailed('#950: 2097152 >>> 29 === 0. Actual: ' + (2097152 >>> 29));
}
if (4194304 >>> 29 !== 0) {
testFailed('#951: 4194304 >>> 29 === 0. Actual: ' + (4194304 >>> 29));
}
if (8388608 >>> 29 !== 0) {
testFailed('#952: 8388608 >>> 29 === 0. Actual: ' + (8388608 >>> 29));
}
if (16777216 >>> 29 !== 0) {
testFailed('#953: 16777216 >>> 29 === 0. Actual: ' + (16777216 >>> 29));
}
if (33554432 >>> 29 !== 0) {
testFailed('#954: 33554432 >>> 29 === 0. Actual: ' + (33554432 >>> 29));
}
if (67108864 >>> 29 !== 0) {
testFailed('#955: 67108864 >>> 29 === 0. Actual: ' + (67108864 >>> 29));
}
if (134217728 >>> 29 !== 0) {
testFailed('#956: 134217728 >>> 29 === 0. Actual: ' + (134217728 >>> 29));
}
if (268435456 >>> 29 !== 0) {
testFailed('#957: 268435456 >>> 29 === 0. Actual: ' + (268435456 >>> 29));
}
if (536870912 >>> 29 !== 1) {
testFailed('#958: 536870912 >>> 29 === 1. Actual: ' + (536870912 >>> 29));
}
if (1073741824 >>> 29 !== 2) {
testFailed('#959: 1073741824 >>> 29 === 2. Actual: ' + (1073741824 >>> 29));
}
if (2147483648 >>> 29 !== 4) {
testFailed('#960: 2147483648 >>> 29 === 4. Actual: ' + (2147483648 >>> 29));
}
if (1 >>> 30 !== 0) {
testFailed('#961: 1 >>> 30 === 0. Actual: ' + (1 >>> 30));
}
if (2 >>> 30 !== 0) {
testFailed('#962: 2 >>> 30 === 0. Actual: ' + (2 >>> 30));
}
if (4 >>> 30 !== 0) {
testFailed('#963: 4 >>> 30 === 0. Actual: ' + (4 >>> 30));
}
if (8 >>> 30 !== 0) {
testFailed('#964: 8 >>> 30 === 0. Actual: ' + (8 >>> 30));
}
if (16 >>> 30 !== 0) {
testFailed('#965: 16 >>> 30 === 0. Actual: ' + (16 >>> 30));
}
if (32 >>> 30 !== 0) {
testFailed('#966: 32 >>> 30 === 0. Actual: ' + (32 >>> 30));
}
if (64 >>> 30 !== 0) {
testFailed('#967: 64 >>> 30 === 0. Actual: ' + (64 >>> 30));
}
if (128 >>> 30 !== 0) {
testFailed('#968: 128 >>> 30 === 0. Actual: ' + (128 >>> 30));
}
if (256 >>> 30 !== 0) {
testFailed('#969: 256 >>> 30 === 0. Actual: ' + (256 >>> 30));
}
if (512 >>> 30 !== 0) {
testFailed('#970: 512 >>> 30 === 0. Actual: ' + (512 >>> 30));
}
if (1024 >>> 30 !== 0) {
testFailed('#971: 1024 >>> 30 === 0. Actual: ' + (1024 >>> 30));
}
if (2048 >>> 30 !== 0) {
testFailed('#972: 2048 >>> 30 === 0. Actual: ' + (2048 >>> 30));
}
if (4096 >>> 30 !== 0) {
testFailed('#973: 4096 >>> 30 === 0. Actual: ' + (4096 >>> 30));
}
if (8192 >>> 30 !== 0) {
testFailed('#974: 8192 >>> 30 === 0. Actual: ' + (8192 >>> 30));
}
if (16384 >>> 30 !== 0) {
testFailed('#975: 16384 >>> 30 === 0. Actual: ' + (16384 >>> 30));
}
if (32768 >>> 30 !== 0) {
testFailed('#976: 32768 >>> 30 === 0. Actual: ' + (32768 >>> 30));
}
if (65536 >>> 30 !== 0) {
testFailed('#977: 65536 >>> 30 === 0. Actual: ' + (65536 >>> 30));
}
if (131072 >>> 30 !== 0) {
testFailed('#978: 131072 >>> 30 === 0. Actual: ' + (131072 >>> 30));
}
if (262144 >>> 30 !== 0) {
testFailed('#979: 262144 >>> 30 === 0. Actual: ' + (262144 >>> 30));
}
if (524288 >>> 30 !== 0) {
testFailed('#980: 524288 >>> 30 === 0. Actual: ' + (524288 >>> 30));
}
if (1048576 >>> 30 !== 0) {
testFailed('#981: 1048576 >>> 30 === 0. Actual: ' + (1048576 >>> 30));
}
if (2097152 >>> 30 !== 0) {
testFailed('#982: 2097152 >>> 30 === 0. Actual: ' + (2097152 >>> 30));
}
if (4194304 >>> 30 !== 0) {
testFailed('#983: 4194304 >>> 30 === 0. Actual: ' + (4194304 >>> 30));
}
if (8388608 >>> 30 !== 0) {
testFailed('#984: 8388608 >>> 30 === 0. Actual: ' + (8388608 >>> 30));
}
if (16777216 >>> 30 !== 0) {
testFailed('#985: 16777216 >>> 30 === 0. Actual: ' + (16777216 >>> 30));
}
if (33554432 >>> 30 !== 0) {
testFailed('#986: 33554432 >>> 30 === 0. Actual: ' + (33554432 >>> 30));
}
if (67108864 >>> 30 !== 0) {
testFailed('#987: 67108864 >>> 30 === 0. Actual: ' + (67108864 >>> 30));
}
if (134217728 >>> 30 !== 0) {
testFailed('#988: 134217728 >>> 30 === 0. Actual: ' + (134217728 >>> 30));
}
if (268435456 >>> 30 !== 0) {
testFailed('#989: 268435456 >>> 30 === 0. Actual: ' + (268435456 >>> 30));
}
if (536870912 >>> 30 !== 0) {
testFailed('#990: 536870912 >>> 30 === 0. Actual: ' + (536870912 >>> 30));
}
if (1073741824 >>> 30 !== 1) {
testFailed('#991: 1073741824 >>> 30 === 1. Actual: ' + (1073741824 >>> 30));
}
if (2147483648 >>> 30 !== 2) {
testFailed('#992: 2147483648 >>> 30 === 2. Actual: ' + (2147483648 >>> 30));
}
if (1 >>> 31 !== 0) {
testFailed('#993: 1 >>> 31 === 0. Actual: ' + (1 >>> 31));
}
if (2 >>> 31 !== 0) {
testFailed('#994: 2 >>> 31 === 0. Actual: ' + (2 >>> 31));
}
if (4 >>> 31 !== 0) {
testFailed('#995: 4 >>> 31 === 0. Actual: ' + (4 >>> 31));
}
if (8 >>> 31 !== 0) {
testFailed('#996: 8 >>> 31 === 0. Actual: ' + (8 >>> 31));
}
if (16 >>> 31 !== 0) {
testFailed('#997: 16 >>> 31 === 0. Actual: ' + (16 >>> 31));
}
if (32 >>> 31 !== 0) {
testFailed('#998: 32 >>> 31 === 0. Actual: ' + (32 >>> 31));
}
if (64 >>> 31 !== 0) {
testFailed('#999: 64 >>> 31 === 0. Actual: ' + (64 >>> 31));
}
if (128 >>> 31 !== 0) {
testFailed('#1000: 128 >>> 31 === 0. Actual: ' + (128 >>> 31));
}
if (256 >>> 31 !== 0) {
testFailed('#1001: 256 >>> 31 === 0. Actual: ' + (256 >>> 31));
}
if (512 >>> 31 !== 0) {
testFailed('#1002: 512 >>> 31 === 0. Actual: ' + (512 >>> 31));
}
if (1024 >>> 31 !== 0) {
testFailed('#1003: 1024 >>> 31 === 0. Actual: ' + (1024 >>> 31));
}
if (2048 >>> 31 !== 0) {
testFailed('#1004: 2048 >>> 31 === 0. Actual: ' + (2048 >>> 31));
}
if (4096 >>> 31 !== 0) {
testFailed('#1005: 4096 >>> 31 === 0. Actual: ' + (4096 >>> 31));
}
if (8192 >>> 31 !== 0) {
testFailed('#1006: 8192 >>> 31 === 0. Actual: ' + (8192 >>> 31));
}
if (16384 >>> 31 !== 0) {
testFailed('#1007: 16384 >>> 31 === 0. Actual: ' + (16384 >>> 31));
}
if (32768 >>> 31 !== 0) {
testFailed('#1008: 32768 >>> 31 === 0. Actual: ' + (32768 >>> 31));
}
if (65536 >>> 31 !== 0) {
testFailed('#1009: 65536 >>> 31 === 0. Actual: ' + (65536 >>> 31));
}
if (131072 >>> 31 !== 0) {
testFailed('#1010: 131072 >>> 31 === 0. Actual: ' + (131072 >>> 31));
}
if (262144 >>> 31 !== 0) {
testFailed('#1011: 262144 >>> 31 === 0. Actual: ' + (262144 >>> 31));
}
if (524288 >>> 31 !== 0) {
testFailed('#1012: 524288 >>> 31 === 0. Actual: ' + (524288 >>> 31));
}
if (1048576 >>> 31 !== 0) {
testFailed('#1013: 1048576 >>> 31 === 0. Actual: ' + (1048576 >>> 31));
}
if (2097152 >>> 31 !== 0) {
testFailed('#1014: 2097152 >>> 31 === 0. Actual: ' + (2097152 >>> 31));
}
if (4194304 >>> 31 !== 0) {
testFailed('#1015: 4194304 >>> 31 === 0. Actual: ' + (4194304 >>> 31));
}
if (8388608 >>> 31 !== 0) {
testFailed('#1016: 8388608 >>> 31 === 0. Actual: ' + (8388608 >>> 31));
}
if (16777216 >>> 31 !== 0) {
testFailed('#1017: 16777216 >>> 31 === 0. Actual: ' + (16777216 >>> 31));
}
if (33554432 >>> 31 !== 0) {
testFailed('#1018: 33554432 >>> 31 === 0. Actual: ' + (33554432 >>> 31));
}
if (67108864 >>> 31 !== 0) {
testFailed('#1019: 67108864 >>> 31 === 0. Actual: ' + (67108864 >>> 31));
}
if (134217728 >>> 31 !== 0) {
testFailed('#1020: 134217728 >>> 31 === 0. Actual: ' + (134217728 >>> 31));
}
if (268435456 >>> 31 !== 0) {
testFailed('#1021: 268435456 >>> 31 === 0. Actual: ' + (268435456 >>> 31));
}
if (536870912 >>> 31 !== 0) {
testFailed('#1022: 536870912 >>> 31 === 0. Actual: ' + (536870912 >>> 31));
}
if (1073741824 >>> 31 !== 0) {
testFailed('#1023: 1073741824 >>> 31 === 0. Actual: ' + (1073741824 >>> 31));
}
if (2147483648 >>> 31 !== 1) {
testFailed('#1024: 2147483648 >>> 31 === 1. Actual: ' + (2147483648 >>> 31));
}
} catch (ex) {
sputnikException = ex;
}
var successfullyParsed = true;
</script>
<script>
if (!successfullyParsed)
printTestFailed('successfullyParsed is not set');
else if (sputnikException)
printTestFailed(sputnikException);
else
printTestPassed("");
testPrint('<br /><span class="pass">TEST COMPLETE</span>');
</script>
</body>
</html>