The Tor Browser / file diff

     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/js/src/tests/test262/ch11/11.7/11.7.3/S11.7.3_A4_T1.js	Wed Dec 31 06:09:35 2014 +0100
     1.3 @@ -0,0 +1,2571 @@
     1.4 +// Copyright 2009 the Sputnik authors.  All rights reserved.
     1.5 +// This code is governed by the BSD license found in the LICENSE file.
     1.6 +
     1.7 +/**
     1.8 + * Check operator x >>> y in distinct points
     1.9 + *
    1.10 + * @path ch11/11.7/11.7.3/S11.7.3_A4_T1.js
    1.11 + * @description ShiftExpression = 2^n, n = 0...15
    1.12 + */
    1.13 +
    1.14 +//CHECK
    1.15 + 
    1.16 +if (1 >>> 0 !== 1) { 
    1.17 +  $ERROR('#1: 1 >>> 0 === 1. Actual: ' + (1 >>> 0)); 
    1.18 +} 
    1.19 +
    1.20 +
    1.21 +if (2 >>> 0 !== 2) { 
    1.22 +  $ERROR('#2: 2 >>> 0 === 2. Actual: ' + (2 >>> 0)); 
    1.23 +} 
    1.24 +
    1.25 +
    1.26 +if (4 >>> 0 !== 4) { 
    1.27 +  $ERROR('#3: 4 >>> 0 === 4. Actual: ' + (4 >>> 0)); 
    1.28 +} 
    1.29 +
    1.30 +
    1.31 +if (8 >>> 0 !== 8) { 
    1.32 +  $ERROR('#4: 8 >>> 0 === 8. Actual: ' + (8 >>> 0)); 
    1.33 +} 
    1.34 +
    1.35 +
    1.36 +if (16 >>> 0 !== 16) { 
    1.37 +  $ERROR('#5: 16 >>> 0 === 16. Actual: ' + (16 >>> 0)); 
    1.38 +} 
    1.39 +
    1.40 +
    1.41 +if (32 >>> 0 !== 32) { 
    1.42 +  $ERROR('#6: 32 >>> 0 === 32. Actual: ' + (32 >>> 0)); 
    1.43 +} 
    1.44 +
    1.45 +
    1.46 +if (64 >>> 0 !== 64) { 
    1.47 +  $ERROR('#7: 64 >>> 0 === 64. Actual: ' + (64 >>> 0)); 
    1.48 +} 
    1.49 +
    1.50 +
    1.51 +if (128 >>> 0 !== 128) { 
    1.52 +  $ERROR('#8: 128 >>> 0 === 128. Actual: ' + (128 >>> 0)); 
    1.53 +} 
    1.54 +
    1.55 +
    1.56 +if (256 >>> 0 !== 256) { 
    1.57 +  $ERROR('#9: 256 >>> 0 === 256. Actual: ' + (256 >>> 0)); 
    1.58 +} 
    1.59 +
    1.60 +
    1.61 +if (512 >>> 0 !== 512) { 
    1.62 +  $ERROR('#10: 512 >>> 0 === 512. Actual: ' + (512 >>> 0)); 
    1.63 +} 
    1.64 +
    1.65 +
    1.66 +if (1024 >>> 0 !== 1024) { 
    1.67 +  $ERROR('#11: 1024 >>> 0 === 1024. Actual: ' + (1024 >>> 0)); 
    1.68 +} 
    1.69 +
    1.70 +
    1.71 +if (2048 >>> 0 !== 2048) { 
    1.72 +  $ERROR('#12: 2048 >>> 0 === 2048. Actual: ' + (2048 >>> 0)); 
    1.73 +} 
    1.74 +
    1.75 +
    1.76 +if (4096 >>> 0 !== 4096) { 
    1.77 +  $ERROR('#13: 4096 >>> 0 === 4096. Actual: ' + (4096 >>> 0)); 
    1.78 +} 
    1.79 +
    1.80 +
    1.81 +if (8192 >>> 0 !== 8192) { 
    1.82 +  $ERROR('#14: 8192 >>> 0 === 8192. Actual: ' + (8192 >>> 0)); 
    1.83 +} 
    1.84 +
    1.85 +
    1.86 +if (16384 >>> 0 !== 16384) { 
    1.87 +  $ERROR('#15: 16384 >>> 0 === 16384. Actual: ' + (16384 >>> 0)); 
    1.88 +} 
    1.89 +
    1.90 +
    1.91 +if (32768 >>> 0 !== 32768) { 
    1.92 +  $ERROR('#16: 32768 >>> 0 === 32768. Actual: ' + (32768 >>> 0)); 
    1.93 +} 
    1.94 +
    1.95 +
    1.96 +if (65536 >>> 0 !== 65536) { 
    1.97 +  $ERROR('#17: 65536 >>> 0 === 65536. Actual: ' + (65536 >>> 0)); 
    1.98 +} 
    1.99 +
   1.100 +
   1.101 +if (131072 >>> 0 !== 131072) { 
   1.102 +  $ERROR('#18: 131072 >>> 0 === 131072. Actual: ' + (131072 >>> 0)); 
   1.103 +} 
   1.104 +
   1.105 +
   1.106 +if (262144 >>> 0 !== 262144) { 
   1.107 +  $ERROR('#19: 262144 >>> 0 === 262144. Actual: ' + (262144 >>> 0)); 
   1.108 +} 
   1.109 +
   1.110 +
   1.111 +if (524288 >>> 0 !== 524288) { 
   1.112 +  $ERROR('#20: 524288 >>> 0 === 524288. Actual: ' + (524288 >>> 0)); 
   1.113 +} 
   1.114 +
   1.115 +
   1.116 +if (1048576 >>> 0 !== 1048576) { 
   1.117 +  $ERROR('#21: 1048576 >>> 0 === 1048576. Actual: ' + (1048576 >>> 0)); 
   1.118 +} 
   1.119 +
   1.120 +
   1.121 +if (2097152 >>> 0 !== 2097152) { 
   1.122 +  $ERROR('#22: 2097152 >>> 0 === 2097152. Actual: ' + (2097152 >>> 0)); 
   1.123 +} 
   1.124 +
   1.125 +
   1.126 +if (4194304 >>> 0 !== 4194304) { 
   1.127 +  $ERROR('#23: 4194304 >>> 0 === 4194304. Actual: ' + (4194304 >>> 0)); 
   1.128 +} 
   1.129 +
   1.130 +
   1.131 +if (8388608 >>> 0 !== 8388608) { 
   1.132 +  $ERROR('#24: 8388608 >>> 0 === 8388608. Actual: ' + (8388608 >>> 0)); 
   1.133 +} 
   1.134 +
   1.135 +
   1.136 +if (16777216 >>> 0 !== 16777216) { 
   1.137 +  $ERROR('#25: 16777216 >>> 0 === 16777216. Actual: ' + (16777216 >>> 0)); 
   1.138 +} 
   1.139 +
   1.140 +
   1.141 +if (33554432 >>> 0 !== 33554432) { 
   1.142 +  $ERROR('#26: 33554432 >>> 0 === 33554432. Actual: ' + (33554432 >>> 0)); 
   1.143 +} 
   1.144 +
   1.145 +
   1.146 +if (67108864 >>> 0 !== 67108864) { 
   1.147 +  $ERROR('#27: 67108864 >>> 0 === 67108864. Actual: ' + (67108864 >>> 0)); 
   1.148 +} 
   1.149 +
   1.150 +
   1.151 +if (134217728 >>> 0 !== 134217728) { 
   1.152 +  $ERROR('#28: 134217728 >>> 0 === 134217728. Actual: ' + (134217728 >>> 0)); 
   1.153 +} 
   1.154 +
   1.155 +
   1.156 +if (268435456 >>> 0 !== 268435456) { 
   1.157 +  $ERROR('#29: 268435456 >>> 0 === 268435456. Actual: ' + (268435456 >>> 0)); 
   1.158 +} 
   1.159 +
   1.160 +
   1.161 +if (536870912 >>> 0 !== 536870912) { 
   1.162 +  $ERROR('#30: 536870912 >>> 0 === 536870912. Actual: ' + (536870912 >>> 0)); 
   1.163 +} 
   1.164 +
   1.165 +
   1.166 +if (1073741824 >>> 0 !== 1073741824) { 
   1.167 +  $ERROR('#31: 1073741824 >>> 0 === 1073741824. Actual: ' + (1073741824 >>> 0)); 
   1.168 +} 
   1.169 +
   1.170 +
   1.171 +if (2147483648 >>> 0 !== 2147483648) { 
   1.172 +  $ERROR('#32: 2147483648 >>> 0 === 2147483648. Actual: ' + (2147483648 >>> 0)); 
   1.173 +} 
   1.174 +
   1.175 +
   1.176 +if (1 >>> 1 !== 0) { 
   1.177 +  $ERROR('#33: 1 >>> 1 === 0. Actual: ' + (1 >>> 1)); 
   1.178 +} 
   1.179 +
   1.180 +
   1.181 +if (2 >>> 1 !== 1) { 
   1.182 +  $ERROR('#34: 2 >>> 1 === 1. Actual: ' + (2 >>> 1)); 
   1.183 +} 
   1.184 +
   1.185 +
   1.186 +if (4 >>> 1 !== 2) { 
   1.187 +  $ERROR('#35: 4 >>> 1 === 2. Actual: ' + (4 >>> 1)); 
   1.188 +} 
   1.189 +
   1.190 +
   1.191 +if (8 >>> 1 !== 4) { 
   1.192 +  $ERROR('#36: 8 >>> 1 === 4. Actual: ' + (8 >>> 1)); 
   1.193 +} 
   1.194 +
   1.195 +
   1.196 +if (16 >>> 1 !== 8) { 
   1.197 +  $ERROR('#37: 16 >>> 1 === 8. Actual: ' + (16 >>> 1)); 
   1.198 +} 
   1.199 +
   1.200 +
   1.201 +if (32 >>> 1 !== 16) { 
   1.202 +  $ERROR('#38: 32 >>> 1 === 16. Actual: ' + (32 >>> 1)); 
   1.203 +} 
   1.204 +
   1.205 +
   1.206 +if (64 >>> 1 !== 32) { 
   1.207 +  $ERROR('#39: 64 >>> 1 === 32. Actual: ' + (64 >>> 1)); 
   1.208 +} 
   1.209 +
   1.210 +
   1.211 +if (128 >>> 1 !== 64) { 
   1.212 +  $ERROR('#40: 128 >>> 1 === 64. Actual: ' + (128 >>> 1)); 
   1.213 +} 
   1.214 +
   1.215 +
   1.216 +if (256 >>> 1 !== 128) { 
   1.217 +  $ERROR('#41: 256 >>> 1 === 128. Actual: ' + (256 >>> 1)); 
   1.218 +} 
   1.219 +
   1.220 +
   1.221 +if (512 >>> 1 !== 256) { 
   1.222 +  $ERROR('#42: 512 >>> 1 === 256. Actual: ' + (512 >>> 1)); 
   1.223 +} 
   1.224 +
   1.225 +
   1.226 +if (1024 >>> 1 !== 512) { 
   1.227 +  $ERROR('#43: 1024 >>> 1 === 512. Actual: ' + (1024 >>> 1)); 
   1.228 +} 
   1.229 +
   1.230 +
   1.231 +if (2048 >>> 1 !== 1024) { 
   1.232 +  $ERROR('#44: 2048 >>> 1 === 1024. Actual: ' + (2048 >>> 1)); 
   1.233 +} 
   1.234 +
   1.235 +
   1.236 +if (4096 >>> 1 !== 2048) { 
   1.237 +  $ERROR('#45: 4096 >>> 1 === 2048. Actual: ' + (4096 >>> 1)); 
   1.238 +} 
   1.239 +
   1.240 +
   1.241 +if (8192 >>> 1 !== 4096) { 
   1.242 +  $ERROR('#46: 8192 >>> 1 === 4096. Actual: ' + (8192 >>> 1)); 
   1.243 +} 
   1.244 +
   1.245 +
   1.246 +if (16384 >>> 1 !== 8192) { 
   1.247 +  $ERROR('#47: 16384 >>> 1 === 8192. Actual: ' + (16384 >>> 1)); 
   1.248 +} 
   1.249 +
   1.250 +
   1.251 +if (32768 >>> 1 !== 16384) { 
   1.252 +  $ERROR('#48: 32768 >>> 1 === 16384. Actual: ' + (32768 >>> 1)); 
   1.253 +} 
   1.254 +
   1.255 +
   1.256 +if (65536 >>> 1 !== 32768) { 
   1.257 +  $ERROR('#49: 65536 >>> 1 === 32768. Actual: ' + (65536 >>> 1)); 
   1.258 +} 
   1.259 +
   1.260 +
   1.261 +if (131072 >>> 1 !== 65536) { 
   1.262 +  $ERROR('#50: 131072 >>> 1 === 65536. Actual: ' + (131072 >>> 1)); 
   1.263 +} 
   1.264 +
   1.265 +
   1.266 +if (262144 >>> 1 !== 131072) { 
   1.267 +  $ERROR('#51: 262144 >>> 1 === 131072. Actual: ' + (262144 >>> 1)); 
   1.268 +} 
   1.269 +
   1.270 +
   1.271 +if (524288 >>> 1 !== 262144) { 
   1.272 +  $ERROR('#52: 524288 >>> 1 === 262144. Actual: ' + (524288 >>> 1)); 
   1.273 +} 
   1.274 +
   1.275 +
   1.276 +if (1048576 >>> 1 !== 524288) { 
   1.277 +  $ERROR('#53: 1048576 >>> 1 === 524288. Actual: ' + (1048576 >>> 1)); 
   1.278 +} 
   1.279 +
   1.280 +
   1.281 +if (2097152 >>> 1 !== 1048576) { 
   1.282 +  $ERROR('#54: 2097152 >>> 1 === 1048576. Actual: ' + (2097152 >>> 1)); 
   1.283 +} 
   1.284 +
   1.285 +
   1.286 +if (4194304 >>> 1 !== 2097152) { 
   1.287 +  $ERROR('#55: 4194304 >>> 1 === 2097152. Actual: ' + (4194304 >>> 1)); 
   1.288 +} 
   1.289 +
   1.290 +
   1.291 +if (8388608 >>> 1 !== 4194304) { 
   1.292 +  $ERROR('#56: 8388608 >>> 1 === 4194304. Actual: ' + (8388608 >>> 1)); 
   1.293 +} 
   1.294 +
   1.295 +
   1.296 +if (16777216 >>> 1 !== 8388608) { 
   1.297 +  $ERROR('#57: 16777216 >>> 1 === 8388608. Actual: ' + (16777216 >>> 1)); 
   1.298 +} 
   1.299 +
   1.300 +
   1.301 +if (33554432 >>> 1 !== 16777216) { 
   1.302 +  $ERROR('#58: 33554432 >>> 1 === 16777216. Actual: ' + (33554432 >>> 1)); 
   1.303 +} 
   1.304 +
   1.305 +
   1.306 +if (67108864 >>> 1 !== 33554432) { 
   1.307 +  $ERROR('#59: 67108864 >>> 1 === 33554432. Actual: ' + (67108864 >>> 1)); 
   1.308 +} 
   1.309 +
   1.310 +
   1.311 +if (134217728 >>> 1 !== 67108864) { 
   1.312 +  $ERROR('#60: 134217728 >>> 1 === 67108864. Actual: ' + (134217728 >>> 1)); 
   1.313 +} 
   1.314 +
   1.315 +
   1.316 +if (268435456 >>> 1 !== 134217728) { 
   1.317 +  $ERROR('#61: 268435456 >>> 1 === 134217728. Actual: ' + (268435456 >>> 1)); 
   1.318 +} 
   1.319 +
   1.320 +
   1.321 +if (536870912 >>> 1 !== 268435456) { 
   1.322 +  $ERROR('#62: 536870912 >>> 1 === 268435456. Actual: ' + (536870912 >>> 1)); 
   1.323 +} 
   1.324 +
   1.325 +
   1.326 +if (1073741824 >>> 1 !== 536870912) { 
   1.327 +  $ERROR('#63: 1073741824 >>> 1 === 536870912. Actual: ' + (1073741824 >>> 1)); 
   1.328 +} 
   1.329 +
   1.330 +
   1.331 +if (2147483648 >>> 1 !== 1073741824) { 
   1.332 +  $ERROR('#64: 2147483648 >>> 1 === 1073741824. Actual: ' + (2147483648 >>> 1)); 
   1.333 +} 
   1.334 +
   1.335 +
   1.336 +if (1 >>> 2 !== 0) { 
   1.337 +  $ERROR('#65: 1 >>> 2 === 0. Actual: ' + (1 >>> 2)); 
   1.338 +} 
   1.339 +
   1.340 +
   1.341 +if (2 >>> 2 !== 0) { 
   1.342 +  $ERROR('#66: 2 >>> 2 === 0. Actual: ' + (2 >>> 2)); 
   1.343 +} 
   1.344 +
   1.345 +
   1.346 +if (4 >>> 2 !== 1) { 
   1.347 +  $ERROR('#67: 4 >>> 2 === 1. Actual: ' + (4 >>> 2)); 
   1.348 +} 
   1.349 +
   1.350 +
   1.351 +if (8 >>> 2 !== 2) { 
   1.352 +  $ERROR('#68: 8 >>> 2 === 2. Actual: ' + (8 >>> 2)); 
   1.353 +} 
   1.354 +
   1.355 +
   1.356 +if (16 >>> 2 !== 4) { 
   1.357 +  $ERROR('#69: 16 >>> 2 === 4. Actual: ' + (16 >>> 2)); 
   1.358 +} 
   1.359 +
   1.360 +
   1.361 +if (32 >>> 2 !== 8) { 
   1.362 +  $ERROR('#70: 32 >>> 2 === 8. Actual: ' + (32 >>> 2)); 
   1.363 +} 
   1.364 +
   1.365 +
   1.366 +if (64 >>> 2 !== 16) { 
   1.367 +  $ERROR('#71: 64 >>> 2 === 16. Actual: ' + (64 >>> 2)); 
   1.368 +} 
   1.369 +
   1.370 +
   1.371 +if (128 >>> 2 !== 32) { 
   1.372 +  $ERROR('#72: 128 >>> 2 === 32. Actual: ' + (128 >>> 2)); 
   1.373 +} 
   1.374 +
   1.375 +
   1.376 +if (256 >>> 2 !== 64) { 
   1.377 +  $ERROR('#73: 256 >>> 2 === 64. Actual: ' + (256 >>> 2)); 
   1.378 +} 
   1.379 +
   1.380 +
   1.381 +if (512 >>> 2 !== 128) { 
   1.382 +  $ERROR('#74: 512 >>> 2 === 128. Actual: ' + (512 >>> 2)); 
   1.383 +} 
   1.384 +
   1.385 +
   1.386 +if (1024 >>> 2 !== 256) { 
   1.387 +  $ERROR('#75: 1024 >>> 2 === 256. Actual: ' + (1024 >>> 2)); 
   1.388 +} 
   1.389 +
   1.390 +
   1.391 +if (2048 >>> 2 !== 512) { 
   1.392 +  $ERROR('#76: 2048 >>> 2 === 512. Actual: ' + (2048 >>> 2)); 
   1.393 +} 
   1.394 +
   1.395 +
   1.396 +if (4096 >>> 2 !== 1024) { 
   1.397 +  $ERROR('#77: 4096 >>> 2 === 1024. Actual: ' + (4096 >>> 2)); 
   1.398 +} 
   1.399 +
   1.400 +
   1.401 +if (8192 >>> 2 !== 2048) { 
   1.402 +  $ERROR('#78: 8192 >>> 2 === 2048. Actual: ' + (8192 >>> 2)); 
   1.403 +} 
   1.404 +
   1.405 +
   1.406 +if (16384 >>> 2 !== 4096) { 
   1.407 +  $ERROR('#79: 16384 >>> 2 === 4096. Actual: ' + (16384 >>> 2)); 
   1.408 +} 
   1.409 +
   1.410 +
   1.411 +if (32768 >>> 2 !== 8192) { 
   1.412 +  $ERROR('#80: 32768 >>> 2 === 8192. Actual: ' + (32768 >>> 2)); 
   1.413 +} 
   1.414 +
   1.415 +
   1.416 +if (65536 >>> 2 !== 16384) { 
   1.417 +  $ERROR('#81: 65536 >>> 2 === 16384. Actual: ' + (65536 >>> 2)); 
   1.418 +} 
   1.419 +
   1.420 +
   1.421 +if (131072 >>> 2 !== 32768) { 
   1.422 +  $ERROR('#82: 131072 >>> 2 === 32768. Actual: ' + (131072 >>> 2)); 
   1.423 +} 
   1.424 +
   1.425 +
   1.426 +if (262144 >>> 2 !== 65536) { 
   1.427 +  $ERROR('#83: 262144 >>> 2 === 65536. Actual: ' + (262144 >>> 2)); 
   1.428 +} 
   1.429 +
   1.430 +
   1.431 +if (524288 >>> 2 !== 131072) { 
   1.432 +  $ERROR('#84: 524288 >>> 2 === 131072. Actual: ' + (524288 >>> 2)); 
   1.433 +} 
   1.434 +
   1.435 +
   1.436 +if (1048576 >>> 2 !== 262144) { 
   1.437 +  $ERROR('#85: 1048576 >>> 2 === 262144. Actual: ' + (1048576 >>> 2)); 
   1.438 +} 
   1.439 +
   1.440 +
   1.441 +if (2097152 >>> 2 !== 524288) { 
   1.442 +  $ERROR('#86: 2097152 >>> 2 === 524288. Actual: ' + (2097152 >>> 2)); 
   1.443 +} 
   1.444 +
   1.445 +
   1.446 +if (4194304 >>> 2 !== 1048576) { 
   1.447 +  $ERROR('#87: 4194304 >>> 2 === 1048576. Actual: ' + (4194304 >>> 2)); 
   1.448 +} 
   1.449 +
   1.450 +
   1.451 +if (8388608 >>> 2 !== 2097152) { 
   1.452 +  $ERROR('#88: 8388608 >>> 2 === 2097152. Actual: ' + (8388608 >>> 2)); 
   1.453 +} 
   1.454 +
   1.455 +
   1.456 +if (16777216 >>> 2 !== 4194304) { 
   1.457 +  $ERROR('#89: 16777216 >>> 2 === 4194304. Actual: ' + (16777216 >>> 2)); 
   1.458 +} 
   1.459 +
   1.460 +
   1.461 +if (33554432 >>> 2 !== 8388608) { 
   1.462 +  $ERROR('#90: 33554432 >>> 2 === 8388608. Actual: ' + (33554432 >>> 2)); 
   1.463 +} 
   1.464 +
   1.465 +
   1.466 +if (67108864 >>> 2 !== 16777216) { 
   1.467 +  $ERROR('#91: 67108864 >>> 2 === 16777216. Actual: ' + (67108864 >>> 2)); 
   1.468 +} 
   1.469 +
   1.470 +
   1.471 +if (134217728 >>> 2 !== 33554432) { 
   1.472 +  $ERROR('#92: 134217728 >>> 2 === 33554432. Actual: ' + (134217728 >>> 2)); 
   1.473 +} 
   1.474 +
   1.475 +
   1.476 +if (268435456 >>> 2 !== 67108864) { 
   1.477 +  $ERROR('#93: 268435456 >>> 2 === 67108864. Actual: ' + (268435456 >>> 2)); 
   1.478 +} 
   1.479 +
   1.480 +
   1.481 +if (536870912 >>> 2 !== 134217728) { 
   1.482 +  $ERROR('#94: 536870912 >>> 2 === 134217728. Actual: ' + (536870912 >>> 2)); 
   1.483 +} 
   1.484 +
   1.485 +
   1.486 +if (1073741824 >>> 2 !== 268435456) { 
   1.487 +  $ERROR('#95: 1073741824 >>> 2 === 268435456. Actual: ' + (1073741824 >>> 2)); 
   1.488 +} 
   1.489 +
   1.490 +
   1.491 +if (2147483648 >>> 2 !== 536870912) { 
   1.492 +  $ERROR('#96: 2147483648 >>> 2 === 536870912. Actual: ' + (2147483648 >>> 2)); 
   1.493 +} 
   1.494 +
   1.495 +
   1.496 +if (1 >>> 3 !== 0) { 
   1.497 +  $ERROR('#97: 1 >>> 3 === 0. Actual: ' + (1 >>> 3)); 
   1.498 +} 
   1.499 +
   1.500 +
   1.501 +if (2 >>> 3 !== 0) { 
   1.502 +  $ERROR('#98: 2 >>> 3 === 0. Actual: ' + (2 >>> 3)); 
   1.503 +} 
   1.504 +
   1.505 +
   1.506 +if (4 >>> 3 !== 0) { 
   1.507 +  $ERROR('#99: 4 >>> 3 === 0. Actual: ' + (4 >>> 3)); 
   1.508 +} 
   1.509 +
   1.510 +
   1.511 +if (8 >>> 3 !== 1) { 
   1.512 +  $ERROR('#100: 8 >>> 3 === 1. Actual: ' + (8 >>> 3)); 
   1.513 +} 
   1.514 +
   1.515 +
   1.516 +if (16 >>> 3 !== 2) { 
   1.517 +  $ERROR('#101: 16 >>> 3 === 2. Actual: ' + (16 >>> 3)); 
   1.518 +} 
   1.519 +
   1.520 +
   1.521 +if (32 >>> 3 !== 4) { 
   1.522 +  $ERROR('#102: 32 >>> 3 === 4. Actual: ' + (32 >>> 3)); 
   1.523 +} 
   1.524 +
   1.525 +
   1.526 +if (64 >>> 3 !== 8) { 
   1.527 +  $ERROR('#103: 64 >>> 3 === 8. Actual: ' + (64 >>> 3)); 
   1.528 +} 
   1.529 +
   1.530 +
   1.531 +if (128 >>> 3 !== 16) { 
   1.532 +  $ERROR('#104: 128 >>> 3 === 16. Actual: ' + (128 >>> 3)); 
   1.533 +} 
   1.534 +
   1.535 +
   1.536 +if (256 >>> 3 !== 32) { 
   1.537 +  $ERROR('#105: 256 >>> 3 === 32. Actual: ' + (256 >>> 3)); 
   1.538 +} 
   1.539 +
   1.540 +
   1.541 +if (512 >>> 3 !== 64) { 
   1.542 +  $ERROR('#106: 512 >>> 3 === 64. Actual: ' + (512 >>> 3)); 
   1.543 +} 
   1.544 +
   1.545 +
   1.546 +if (1024 >>> 3 !== 128) { 
   1.547 +  $ERROR('#107: 1024 >>> 3 === 128. Actual: ' + (1024 >>> 3)); 
   1.548 +} 
   1.549 +
   1.550 +
   1.551 +if (2048 >>> 3 !== 256) { 
   1.552 +  $ERROR('#108: 2048 >>> 3 === 256. Actual: ' + (2048 >>> 3)); 
   1.553 +} 
   1.554 +
   1.555 +
   1.556 +if (4096 >>> 3 !== 512) { 
   1.557 +  $ERROR('#109: 4096 >>> 3 === 512. Actual: ' + (4096 >>> 3)); 
   1.558 +} 
   1.559 +
   1.560 +
   1.561 +if (8192 >>> 3 !== 1024) { 
   1.562 +  $ERROR('#110: 8192 >>> 3 === 1024. Actual: ' + (8192 >>> 3)); 
   1.563 +} 
   1.564 +
   1.565 +
   1.566 +if (16384 >>> 3 !== 2048) { 
   1.567 +  $ERROR('#111: 16384 >>> 3 === 2048. Actual: ' + (16384 >>> 3)); 
   1.568 +} 
   1.569 +
   1.570 +
   1.571 +if (32768 >>> 3 !== 4096) { 
   1.572 +  $ERROR('#112: 32768 >>> 3 === 4096. Actual: ' + (32768 >>> 3)); 
   1.573 +} 
   1.574 +
   1.575 +
   1.576 +if (65536 >>> 3 !== 8192) { 
   1.577 +  $ERROR('#113: 65536 >>> 3 === 8192. Actual: ' + (65536 >>> 3)); 
   1.578 +} 
   1.579 +
   1.580 +
   1.581 +if (131072 >>> 3 !== 16384) { 
   1.582 +  $ERROR('#114: 131072 >>> 3 === 16384. Actual: ' + (131072 >>> 3)); 
   1.583 +} 
   1.584 +
   1.585 +
   1.586 +if (262144 >>> 3 !== 32768) { 
   1.587 +  $ERROR('#115: 262144 >>> 3 === 32768. Actual: ' + (262144 >>> 3)); 
   1.588 +} 
   1.589 +
   1.590 +
   1.591 +if (524288 >>> 3 !== 65536) { 
   1.592 +  $ERROR('#116: 524288 >>> 3 === 65536. Actual: ' + (524288 >>> 3)); 
   1.593 +} 
   1.594 +
   1.595 +
   1.596 +if (1048576 >>> 3 !== 131072) { 
   1.597 +  $ERROR('#117: 1048576 >>> 3 === 131072. Actual: ' + (1048576 >>> 3)); 
   1.598 +} 
   1.599 +
   1.600 +
   1.601 +if (2097152 >>> 3 !== 262144) { 
   1.602 +  $ERROR('#118: 2097152 >>> 3 === 262144. Actual: ' + (2097152 >>> 3)); 
   1.603 +} 
   1.604 +
   1.605 +
   1.606 +if (4194304 >>> 3 !== 524288) { 
   1.607 +  $ERROR('#119: 4194304 >>> 3 === 524288. Actual: ' + (4194304 >>> 3)); 
   1.608 +} 
   1.609 +
   1.610 +
   1.611 +if (8388608 >>> 3 !== 1048576) { 
   1.612 +  $ERROR('#120: 8388608 >>> 3 === 1048576. Actual: ' + (8388608 >>> 3)); 
   1.613 +} 
   1.614 +
   1.615 +
   1.616 +if (16777216 >>> 3 !== 2097152) { 
   1.617 +  $ERROR('#121: 16777216 >>> 3 === 2097152. Actual: ' + (16777216 >>> 3)); 
   1.618 +} 
   1.619 +
   1.620 +
   1.621 +if (33554432 >>> 3 !== 4194304) { 
   1.622 +  $ERROR('#122: 33554432 >>> 3 === 4194304. Actual: ' + (33554432 >>> 3)); 
   1.623 +} 
   1.624 +
   1.625 +
   1.626 +if (67108864 >>> 3 !== 8388608) { 
   1.627 +  $ERROR('#123: 67108864 >>> 3 === 8388608. Actual: ' + (67108864 >>> 3)); 
   1.628 +} 
   1.629 +
   1.630 +
   1.631 +if (134217728 >>> 3 !== 16777216) { 
   1.632 +  $ERROR('#124: 134217728 >>> 3 === 16777216. Actual: ' + (134217728 >>> 3)); 
   1.633 +} 
   1.634 +
   1.635 +
   1.636 +if (268435456 >>> 3 !== 33554432) { 
   1.637 +  $ERROR('#125: 268435456 >>> 3 === 33554432. Actual: ' + (268435456 >>> 3)); 
   1.638 +} 
   1.639 +
   1.640 +
   1.641 +if (536870912 >>> 3 !== 67108864) { 
   1.642 +  $ERROR('#126: 536870912 >>> 3 === 67108864. Actual: ' + (536870912 >>> 3)); 
   1.643 +} 
   1.644 +
   1.645 +
   1.646 +if (1073741824 >>> 3 !== 134217728) { 
   1.647 +  $ERROR('#127: 1073741824 >>> 3 === 134217728. Actual: ' + (1073741824 >>> 3)); 
   1.648 +} 
   1.649 +
   1.650 +
   1.651 +if (2147483648 >>> 3 !== 268435456) { 
   1.652 +  $ERROR('#128: 2147483648 >>> 3 === 268435456. Actual: ' + (2147483648 >>> 3)); 
   1.653 +} 
   1.654 +
   1.655 +
   1.656 +if (1 >>> 4 !== 0) { 
   1.657 +  $ERROR('#129: 1 >>> 4 === 0. Actual: ' + (1 >>> 4)); 
   1.658 +} 
   1.659 +
   1.660 +
   1.661 +if (2 >>> 4 !== 0) { 
   1.662 +  $ERROR('#130: 2 >>> 4 === 0. Actual: ' + (2 >>> 4)); 
   1.663 +} 
   1.664 +
   1.665 +
   1.666 +if (4 >>> 4 !== 0) { 
   1.667 +  $ERROR('#131: 4 >>> 4 === 0. Actual: ' + (4 >>> 4)); 
   1.668 +} 
   1.669 +
   1.670 +
   1.671 +if (8 >>> 4 !== 0) { 
   1.672 +  $ERROR('#132: 8 >>> 4 === 0. Actual: ' + (8 >>> 4)); 
   1.673 +} 
   1.674 +
   1.675 +
   1.676 +if (16 >>> 4 !== 1) { 
   1.677 +  $ERROR('#133: 16 >>> 4 === 1. Actual: ' + (16 >>> 4)); 
   1.678 +} 
   1.679 +
   1.680 +
   1.681 +if (32 >>> 4 !== 2) { 
   1.682 +  $ERROR('#134: 32 >>> 4 === 2. Actual: ' + (32 >>> 4)); 
   1.683 +} 
   1.684 +
   1.685 +
   1.686 +if (64 >>> 4 !== 4) { 
   1.687 +  $ERROR('#135: 64 >>> 4 === 4. Actual: ' + (64 >>> 4)); 
   1.688 +} 
   1.689 +
   1.690 +
   1.691 +if (128 >>> 4 !== 8) { 
   1.692 +  $ERROR('#136: 128 >>> 4 === 8. Actual: ' + (128 >>> 4)); 
   1.693 +} 
   1.694 +
   1.695 +
   1.696 +if (256 >>> 4 !== 16) { 
   1.697 +  $ERROR('#137: 256 >>> 4 === 16. Actual: ' + (256 >>> 4)); 
   1.698 +} 
   1.699 +
   1.700 +
   1.701 +if (512 >>> 4 !== 32) { 
   1.702 +  $ERROR('#138: 512 >>> 4 === 32. Actual: ' + (512 >>> 4)); 
   1.703 +} 
   1.704 +
   1.705 +
   1.706 +if (1024 >>> 4 !== 64) { 
   1.707 +  $ERROR('#139: 1024 >>> 4 === 64. Actual: ' + (1024 >>> 4)); 
   1.708 +} 
   1.709 +
   1.710 +
   1.711 +if (2048 >>> 4 !== 128) { 
   1.712 +  $ERROR('#140: 2048 >>> 4 === 128. Actual: ' + (2048 >>> 4)); 
   1.713 +} 
   1.714 +
   1.715 +
   1.716 +if (4096 >>> 4 !== 256) { 
   1.717 +  $ERROR('#141: 4096 >>> 4 === 256. Actual: ' + (4096 >>> 4)); 
   1.718 +} 
   1.719 +
   1.720 +
   1.721 +if (8192 >>> 4 !== 512) { 
   1.722 +  $ERROR('#142: 8192 >>> 4 === 512. Actual: ' + (8192 >>> 4)); 
   1.723 +} 
   1.724 +
   1.725 +
   1.726 +if (16384 >>> 4 !== 1024) { 
   1.727 +  $ERROR('#143: 16384 >>> 4 === 1024. Actual: ' + (16384 >>> 4)); 
   1.728 +} 
   1.729 +
   1.730 +
   1.731 +if (32768 >>> 4 !== 2048) { 
   1.732 +  $ERROR('#144: 32768 >>> 4 === 2048. Actual: ' + (32768 >>> 4)); 
   1.733 +} 
   1.734 +
   1.735 +
   1.736 +if (65536 >>> 4 !== 4096) { 
   1.737 +  $ERROR('#145: 65536 >>> 4 === 4096. Actual: ' + (65536 >>> 4)); 
   1.738 +} 
   1.739 +
   1.740 +
   1.741 +if (131072 >>> 4 !== 8192) { 
   1.742 +  $ERROR('#146: 131072 >>> 4 === 8192. Actual: ' + (131072 >>> 4)); 
   1.743 +} 
   1.744 +
   1.745 +
   1.746 +if (262144 >>> 4 !== 16384) { 
   1.747 +  $ERROR('#147: 262144 >>> 4 === 16384. Actual: ' + (262144 >>> 4)); 
   1.748 +} 
   1.749 +
   1.750 +
   1.751 +if (524288 >>> 4 !== 32768) { 
   1.752 +  $ERROR('#148: 524288 >>> 4 === 32768. Actual: ' + (524288 >>> 4)); 
   1.753 +} 
   1.754 +
   1.755 +
   1.756 +if (1048576 >>> 4 !== 65536) { 
   1.757 +  $ERROR('#149: 1048576 >>> 4 === 65536. Actual: ' + (1048576 >>> 4)); 
   1.758 +} 
   1.759 +
   1.760 +
   1.761 +if (2097152 >>> 4 !== 131072) { 
   1.762 +  $ERROR('#150: 2097152 >>> 4 === 131072. Actual: ' + (2097152 >>> 4)); 
   1.763 +} 
   1.764 +
   1.765 +
   1.766 +if (4194304 >>> 4 !== 262144) { 
   1.767 +  $ERROR('#151: 4194304 >>> 4 === 262144. Actual: ' + (4194304 >>> 4)); 
   1.768 +} 
   1.769 +
   1.770 +
   1.771 +if (8388608 >>> 4 !== 524288) { 
   1.772 +  $ERROR('#152: 8388608 >>> 4 === 524288. Actual: ' + (8388608 >>> 4)); 
   1.773 +} 
   1.774 +
   1.775 +
   1.776 +if (16777216 >>> 4 !== 1048576) { 
   1.777 +  $ERROR('#153: 16777216 >>> 4 === 1048576. Actual: ' + (16777216 >>> 4)); 
   1.778 +} 
   1.779 +
   1.780 +
   1.781 +if (33554432 >>> 4 !== 2097152) { 
   1.782 +  $ERROR('#154: 33554432 >>> 4 === 2097152. Actual: ' + (33554432 >>> 4)); 
   1.783 +} 
   1.784 +
   1.785 +
   1.786 +if (67108864 >>> 4 !== 4194304) { 
   1.787 +  $ERROR('#155: 67108864 >>> 4 === 4194304. Actual: ' + (67108864 >>> 4)); 
   1.788 +} 
   1.789 +
   1.790 +
   1.791 +if (134217728 >>> 4 !== 8388608) { 
   1.792 +  $ERROR('#156: 134217728 >>> 4 === 8388608. Actual: ' + (134217728 >>> 4)); 
   1.793 +} 
   1.794 +
   1.795 +
   1.796 +if (268435456 >>> 4 !== 16777216) { 
   1.797 +  $ERROR('#157: 268435456 >>> 4 === 16777216. Actual: ' + (268435456 >>> 4)); 
   1.798 +} 
   1.799 +
   1.800 +
   1.801 +if (536870912 >>> 4 !== 33554432) { 
   1.802 +  $ERROR('#158: 536870912 >>> 4 === 33554432. Actual: ' + (536870912 >>> 4)); 
   1.803 +} 
   1.804 +
   1.805 +
   1.806 +if (1073741824 >>> 4 !== 67108864) { 
   1.807 +  $ERROR('#159: 1073741824 >>> 4 === 67108864. Actual: ' + (1073741824 >>> 4)); 
   1.808 +} 
   1.809 +
   1.810 +
   1.811 +if (2147483648 >>> 4 !== 134217728) { 
   1.812 +  $ERROR('#160: 2147483648 >>> 4 === 134217728. Actual: ' + (2147483648 >>> 4)); 
   1.813 +} 
   1.814 +
   1.815 +
   1.816 +if (1 >>> 5 !== 0) { 
   1.817 +  $ERROR('#161: 1 >>> 5 === 0. Actual: ' + (1 >>> 5)); 
   1.818 +} 
   1.819 +
   1.820 +
   1.821 +if (2 >>> 5 !== 0) { 
   1.822 +  $ERROR('#162: 2 >>> 5 === 0. Actual: ' + (2 >>> 5)); 
   1.823 +} 
   1.824 +
   1.825 +
   1.826 +if (4 >>> 5 !== 0) { 
   1.827 +  $ERROR('#163: 4 >>> 5 === 0. Actual: ' + (4 >>> 5)); 
   1.828 +} 
   1.829 +
   1.830 +
   1.831 +if (8 >>> 5 !== 0) { 
   1.832 +  $ERROR('#164: 8 >>> 5 === 0. Actual: ' + (8 >>> 5)); 
   1.833 +} 
   1.834 +
   1.835 +
   1.836 +if (16 >>> 5 !== 0) { 
   1.837 +  $ERROR('#165: 16 >>> 5 === 0. Actual: ' + (16 >>> 5)); 
   1.838 +} 
   1.839 +
   1.840 +
   1.841 +if (32 >>> 5 !== 1) { 
   1.842 +  $ERROR('#166: 32 >>> 5 === 1. Actual: ' + (32 >>> 5)); 
   1.843 +} 
   1.844 +
   1.845 +
   1.846 +if (64 >>> 5 !== 2) { 
   1.847 +  $ERROR('#167: 64 >>> 5 === 2. Actual: ' + (64 >>> 5)); 
   1.848 +} 
   1.849 +
   1.850 +
   1.851 +if (128 >>> 5 !== 4) { 
   1.852 +  $ERROR('#168: 128 >>> 5 === 4. Actual: ' + (128 >>> 5)); 
   1.853 +} 
   1.854 +
   1.855 +
   1.856 +if (256 >>> 5 !== 8) { 
   1.857 +  $ERROR('#169: 256 >>> 5 === 8. Actual: ' + (256 >>> 5)); 
   1.858 +} 
   1.859 +
   1.860 +
   1.861 +if (512 >>> 5 !== 16) { 
   1.862 +  $ERROR('#170: 512 >>> 5 === 16. Actual: ' + (512 >>> 5)); 
   1.863 +} 
   1.864 +
   1.865 +
   1.866 +if (1024 >>> 5 !== 32) { 
   1.867 +  $ERROR('#171: 1024 >>> 5 === 32. Actual: ' + (1024 >>> 5)); 
   1.868 +} 
   1.869 +
   1.870 +
   1.871 +if (2048 >>> 5 !== 64) { 
   1.872 +  $ERROR('#172: 2048 >>> 5 === 64. Actual: ' + (2048 >>> 5)); 
   1.873 +} 
   1.874 +
   1.875 +
   1.876 +if (4096 >>> 5 !== 128) { 
   1.877 +  $ERROR('#173: 4096 >>> 5 === 128. Actual: ' + (4096 >>> 5)); 
   1.878 +} 
   1.879 +
   1.880 +
   1.881 +if (8192 >>> 5 !== 256) { 
   1.882 +  $ERROR('#174: 8192 >>> 5 === 256. Actual: ' + (8192 >>> 5)); 
   1.883 +} 
   1.884 +
   1.885 +
   1.886 +if (16384 >>> 5 !== 512) { 
   1.887 +  $ERROR('#175: 16384 >>> 5 === 512. Actual: ' + (16384 >>> 5)); 
   1.888 +} 
   1.889 +
   1.890 +
   1.891 +if (32768 >>> 5 !== 1024) { 
   1.892 +  $ERROR('#176: 32768 >>> 5 === 1024. Actual: ' + (32768 >>> 5)); 
   1.893 +} 
   1.894 +
   1.895 +
   1.896 +if (65536 >>> 5 !== 2048) { 
   1.897 +  $ERROR('#177: 65536 >>> 5 === 2048. Actual: ' + (65536 >>> 5)); 
   1.898 +} 
   1.899 +
   1.900 +
   1.901 +if (131072 >>> 5 !== 4096) { 
   1.902 +  $ERROR('#178: 131072 >>> 5 === 4096. Actual: ' + (131072 >>> 5)); 
   1.903 +} 
   1.904 +
   1.905 +
   1.906 +if (262144 >>> 5 !== 8192) { 
   1.907 +  $ERROR('#179: 262144 >>> 5 === 8192. Actual: ' + (262144 >>> 5)); 
   1.908 +} 
   1.909 +
   1.910 +
   1.911 +if (524288 >>> 5 !== 16384) { 
   1.912 +  $ERROR('#180: 524288 >>> 5 === 16384. Actual: ' + (524288 >>> 5)); 
   1.913 +} 
   1.914 +
   1.915 +
   1.916 +if (1048576 >>> 5 !== 32768) { 
   1.917 +  $ERROR('#181: 1048576 >>> 5 === 32768. Actual: ' + (1048576 >>> 5)); 
   1.918 +} 
   1.919 +
   1.920 +
   1.921 +if (2097152 >>> 5 !== 65536) { 
   1.922 +  $ERROR('#182: 2097152 >>> 5 === 65536. Actual: ' + (2097152 >>> 5)); 
   1.923 +} 
   1.924 +
   1.925 +
   1.926 +if (4194304 >>> 5 !== 131072) { 
   1.927 +  $ERROR('#183: 4194304 >>> 5 === 131072. Actual: ' + (4194304 >>> 5)); 
   1.928 +} 
   1.929 +
   1.930 +
   1.931 +if (8388608 >>> 5 !== 262144) { 
   1.932 +  $ERROR('#184: 8388608 >>> 5 === 262144. Actual: ' + (8388608 >>> 5)); 
   1.933 +} 
   1.934 +
   1.935 +
   1.936 +if (16777216 >>> 5 !== 524288) { 
   1.937 +  $ERROR('#185: 16777216 >>> 5 === 524288. Actual: ' + (16777216 >>> 5)); 
   1.938 +} 
   1.939 +
   1.940 +
   1.941 +if (33554432 >>> 5 !== 1048576) { 
   1.942 +  $ERROR('#186: 33554432 >>> 5 === 1048576. Actual: ' + (33554432 >>> 5)); 
   1.943 +} 
   1.944 +
   1.945 +
   1.946 +if (67108864 >>> 5 !== 2097152) { 
   1.947 +  $ERROR('#187: 67108864 >>> 5 === 2097152. Actual: ' + (67108864 >>> 5)); 
   1.948 +} 
   1.949 +
   1.950 +
   1.951 +if (134217728 >>> 5 !== 4194304) { 
   1.952 +  $ERROR('#188: 134217728 >>> 5 === 4194304. Actual: ' + (134217728 >>> 5)); 
   1.953 +} 
   1.954 +
   1.955 +
   1.956 +if (268435456 >>> 5 !== 8388608) { 
   1.957 +  $ERROR('#189: 268435456 >>> 5 === 8388608. Actual: ' + (268435456 >>> 5)); 
   1.958 +} 
   1.959 +
   1.960 +
   1.961 +if (536870912 >>> 5 !== 16777216) { 
   1.962 +  $ERROR('#190: 536870912 >>> 5 === 16777216. Actual: ' + (536870912 >>> 5)); 
   1.963 +} 
   1.964 +
   1.965 +
   1.966 +if (1073741824 >>> 5 !== 33554432) { 
   1.967 +  $ERROR('#191: 1073741824 >>> 5 === 33554432. Actual: ' + (1073741824 >>> 5)); 
   1.968 +} 
   1.969 +
   1.970 +
   1.971 +if (2147483648 >>> 5 !== 67108864) { 
   1.972 +  $ERROR('#192: 2147483648 >>> 5 === 67108864. Actual: ' + (2147483648 >>> 5)); 
   1.973 +} 
   1.974 +
   1.975 +
   1.976 +if (1 >>> 6 !== 0) { 
   1.977 +  $ERROR('#193: 1 >>> 6 === 0. Actual: ' + (1 >>> 6)); 
   1.978 +} 
   1.979 +
   1.980 +
   1.981 +if (2 >>> 6 !== 0) { 
   1.982 +  $ERROR('#194: 2 >>> 6 === 0. Actual: ' + (2 >>> 6)); 
   1.983 +} 
   1.984 +
   1.985 +
   1.986 +if (4 >>> 6 !== 0) { 
   1.987 +  $ERROR('#195: 4 >>> 6 === 0. Actual: ' + (4 >>> 6)); 
   1.988 +} 
   1.989 +
   1.990 +
   1.991 +if (8 >>> 6 !== 0) { 
   1.992 +  $ERROR('#196: 8 >>> 6 === 0. Actual: ' + (8 >>> 6)); 
   1.993 +} 
   1.994 +
   1.995 +
   1.996 +if (16 >>> 6 !== 0) { 
   1.997 +  $ERROR('#197: 16 >>> 6 === 0. Actual: ' + (16 >>> 6)); 
   1.998 +} 
   1.999 +
  1.1000 +
  1.1001 +if (32 >>> 6 !== 0) { 
  1.1002 +  $ERROR('#198: 32 >>> 6 === 0. Actual: ' + (32 >>> 6)); 
  1.1003 +} 
  1.1004 +
  1.1005 +
  1.1006 +if (64 >>> 6 !== 1) { 
  1.1007 +  $ERROR('#199: 64 >>> 6 === 1. Actual: ' + (64 >>> 6)); 
  1.1008 +} 
  1.1009 +
  1.1010 +
  1.1011 +if (128 >>> 6 !== 2) { 
  1.1012 +  $ERROR('#200: 128 >>> 6 === 2. Actual: ' + (128 >>> 6)); 
  1.1013 +} 
  1.1014 +
  1.1015 +
  1.1016 +if (256 >>> 6 !== 4) { 
  1.1017 +  $ERROR('#201: 256 >>> 6 === 4. Actual: ' + (256 >>> 6)); 
  1.1018 +} 
  1.1019 +
  1.1020 +
  1.1021 +if (512 >>> 6 !== 8) { 
  1.1022 +  $ERROR('#202: 512 >>> 6 === 8. Actual: ' + (512 >>> 6)); 
  1.1023 +} 
  1.1024 +
  1.1025 +
  1.1026 +if (1024 >>> 6 !== 16) { 
  1.1027 +  $ERROR('#203: 1024 >>> 6 === 16. Actual: ' + (1024 >>> 6)); 
  1.1028 +} 
  1.1029 +
  1.1030 +
  1.1031 +if (2048 >>> 6 !== 32) { 
  1.1032 +  $ERROR('#204: 2048 >>> 6 === 32. Actual: ' + (2048 >>> 6)); 
  1.1033 +} 
  1.1034 +
  1.1035 +
  1.1036 +if (4096 >>> 6 !== 64) { 
  1.1037 +  $ERROR('#205: 4096 >>> 6 === 64. Actual: ' + (4096 >>> 6)); 
  1.1038 +} 
  1.1039 +
  1.1040 +
  1.1041 +if (8192 >>> 6 !== 128) { 
  1.1042 +  $ERROR('#206: 8192 >>> 6 === 128. Actual: ' + (8192 >>> 6)); 
  1.1043 +} 
  1.1044 +
  1.1045 +
  1.1046 +if (16384 >>> 6 !== 256) { 
  1.1047 +  $ERROR('#207: 16384 >>> 6 === 256. Actual: ' + (16384 >>> 6)); 
  1.1048 +} 
  1.1049 +
  1.1050 +
  1.1051 +if (32768 >>> 6 !== 512) { 
  1.1052 +  $ERROR('#208: 32768 >>> 6 === 512. Actual: ' + (32768 >>> 6)); 
  1.1053 +} 
  1.1054 +
  1.1055 +
  1.1056 +if (65536 >>> 6 !== 1024) { 
  1.1057 +  $ERROR('#209: 65536 >>> 6 === 1024. Actual: ' + (65536 >>> 6)); 
  1.1058 +} 
  1.1059 +
  1.1060 +
  1.1061 +if (131072 >>> 6 !== 2048) { 
  1.1062 +  $ERROR('#210: 131072 >>> 6 === 2048. Actual: ' + (131072 >>> 6)); 
  1.1063 +} 
  1.1064 +
  1.1065 +
  1.1066 +if (262144 >>> 6 !== 4096) { 
  1.1067 +  $ERROR('#211: 262144 >>> 6 === 4096. Actual: ' + (262144 >>> 6)); 
  1.1068 +} 
  1.1069 +
  1.1070 +
  1.1071 +if (524288 >>> 6 !== 8192) { 
  1.1072 +  $ERROR('#212: 524288 >>> 6 === 8192. Actual: ' + (524288 >>> 6)); 
  1.1073 +} 
  1.1074 +
  1.1075 +
  1.1076 +if (1048576 >>> 6 !== 16384) { 
  1.1077 +  $ERROR('#213: 1048576 >>> 6 === 16384. Actual: ' + (1048576 >>> 6)); 
  1.1078 +} 
  1.1079 +
  1.1080 +
  1.1081 +if (2097152 >>> 6 !== 32768) { 
  1.1082 +  $ERROR('#214: 2097152 >>> 6 === 32768. Actual: ' + (2097152 >>> 6)); 
  1.1083 +} 
  1.1084 +
  1.1085 +
  1.1086 +if (4194304 >>> 6 !== 65536) { 
  1.1087 +  $ERROR('#215: 4194304 >>> 6 === 65536. Actual: ' + (4194304 >>> 6)); 
  1.1088 +} 
  1.1089 +
  1.1090 +
  1.1091 +if (8388608 >>> 6 !== 131072) { 
  1.1092 +  $ERROR('#216: 8388608 >>> 6 === 131072. Actual: ' + (8388608 >>> 6)); 
  1.1093 +} 
  1.1094 +
  1.1095 +
  1.1096 +if (16777216 >>> 6 !== 262144) { 
  1.1097 +  $ERROR('#217: 16777216 >>> 6 === 262144. Actual: ' + (16777216 >>> 6)); 
  1.1098 +} 
  1.1099 +
  1.1100 +
  1.1101 +if (33554432 >>> 6 !== 524288) { 
  1.1102 +  $ERROR('#218: 33554432 >>> 6 === 524288. Actual: ' + (33554432 >>> 6)); 
  1.1103 +} 
  1.1104 +
  1.1105 +
  1.1106 +if (67108864 >>> 6 !== 1048576) { 
  1.1107 +  $ERROR('#219: 67108864 >>> 6 === 1048576. Actual: ' + (67108864 >>> 6)); 
  1.1108 +} 
  1.1109 +
  1.1110 +
  1.1111 +if (134217728 >>> 6 !== 2097152) { 
  1.1112 +  $ERROR('#220: 134217728 >>> 6 === 2097152. Actual: ' + (134217728 >>> 6)); 
  1.1113 +} 
  1.1114 +
  1.1115 +
  1.1116 +if (268435456 >>> 6 !== 4194304) { 
  1.1117 +  $ERROR('#221: 268435456 >>> 6 === 4194304. Actual: ' + (268435456 >>> 6)); 
  1.1118 +} 
  1.1119 +
  1.1120 +
  1.1121 +if (536870912 >>> 6 !== 8388608) { 
  1.1122 +  $ERROR('#222: 536870912 >>> 6 === 8388608. Actual: ' + (536870912 >>> 6)); 
  1.1123 +} 
  1.1124 +
  1.1125 +
  1.1126 +if (1073741824 >>> 6 !== 16777216) { 
  1.1127 +  $ERROR('#223: 1073741824 >>> 6 === 16777216. Actual: ' + (1073741824 >>> 6)); 
  1.1128 +} 
  1.1129 +
  1.1130 +
  1.1131 +if (2147483648 >>> 6 !== 33554432) { 
  1.1132 +  $ERROR('#224: 2147483648 >>> 6 === 33554432. Actual: ' + (2147483648 >>> 6)); 
  1.1133 +} 
  1.1134 +
  1.1135 +
  1.1136 +if (1 >>> 7 !== 0) { 
  1.1137 +  $ERROR('#225: 1 >>> 7 === 0. Actual: ' + (1 >>> 7)); 
  1.1138 +} 
  1.1139 +
  1.1140 +
  1.1141 +if (2 >>> 7 !== 0) { 
  1.1142 +  $ERROR('#226: 2 >>> 7 === 0. Actual: ' + (2 >>> 7)); 
  1.1143 +} 
  1.1144 +
  1.1145 +
  1.1146 +if (4 >>> 7 !== 0) { 
  1.1147 +  $ERROR('#227: 4 >>> 7 === 0. Actual: ' + (4 >>> 7)); 
  1.1148 +} 
  1.1149 +
  1.1150 +
  1.1151 +if (8 >>> 7 !== 0) { 
  1.1152 +  $ERROR('#228: 8 >>> 7 === 0. Actual: ' + (8 >>> 7)); 
  1.1153 +} 
  1.1154 +
  1.1155 +
  1.1156 +if (16 >>> 7 !== 0) { 
  1.1157 +  $ERROR('#229: 16 >>> 7 === 0. Actual: ' + (16 >>> 7)); 
  1.1158 +} 
  1.1159 +
  1.1160 +
  1.1161 +if (32 >>> 7 !== 0) { 
  1.1162 +  $ERROR('#230: 32 >>> 7 === 0. Actual: ' + (32 >>> 7)); 
  1.1163 +} 
  1.1164 +
  1.1165 +
  1.1166 +if (64 >>> 7 !== 0) { 
  1.1167 +  $ERROR('#231: 64 >>> 7 === 0. Actual: ' + (64 >>> 7)); 
  1.1168 +} 
  1.1169 +
  1.1170 +
  1.1171 +if (128 >>> 7 !== 1) { 
  1.1172 +  $ERROR('#232: 128 >>> 7 === 1. Actual: ' + (128 >>> 7)); 
  1.1173 +} 
  1.1174 +
  1.1175 +
  1.1176 +if (256 >>> 7 !== 2) { 
  1.1177 +  $ERROR('#233: 256 >>> 7 === 2. Actual: ' + (256 >>> 7)); 
  1.1178 +} 
  1.1179 +
  1.1180 +
  1.1181 +if (512 >>> 7 !== 4) { 
  1.1182 +  $ERROR('#234: 512 >>> 7 === 4. Actual: ' + (512 >>> 7)); 
  1.1183 +} 
  1.1184 +
  1.1185 +
  1.1186 +if (1024 >>> 7 !== 8) { 
  1.1187 +  $ERROR('#235: 1024 >>> 7 === 8. Actual: ' + (1024 >>> 7)); 
  1.1188 +} 
  1.1189 +
  1.1190 +
  1.1191 +if (2048 >>> 7 !== 16) { 
  1.1192 +  $ERROR('#236: 2048 >>> 7 === 16. Actual: ' + (2048 >>> 7)); 
  1.1193 +} 
  1.1194 +
  1.1195 +
  1.1196 +if (4096 >>> 7 !== 32) { 
  1.1197 +  $ERROR('#237: 4096 >>> 7 === 32. Actual: ' + (4096 >>> 7)); 
  1.1198 +} 
  1.1199 +
  1.1200 +
  1.1201 +if (8192 >>> 7 !== 64) { 
  1.1202 +  $ERROR('#238: 8192 >>> 7 === 64. Actual: ' + (8192 >>> 7)); 
  1.1203 +} 
  1.1204 +
  1.1205 +
  1.1206 +if (16384 >>> 7 !== 128) { 
  1.1207 +  $ERROR('#239: 16384 >>> 7 === 128. Actual: ' + (16384 >>> 7)); 
  1.1208 +} 
  1.1209 +
  1.1210 +
  1.1211 +if (32768 >>> 7 !== 256) { 
  1.1212 +  $ERROR('#240: 32768 >>> 7 === 256. Actual: ' + (32768 >>> 7)); 
  1.1213 +} 
  1.1214 +
  1.1215 +
  1.1216 +if (65536 >>> 7 !== 512) { 
  1.1217 +  $ERROR('#241: 65536 >>> 7 === 512. Actual: ' + (65536 >>> 7)); 
  1.1218 +} 
  1.1219 +
  1.1220 +
  1.1221 +if (131072 >>> 7 !== 1024) { 
  1.1222 +  $ERROR('#242: 131072 >>> 7 === 1024. Actual: ' + (131072 >>> 7)); 
  1.1223 +} 
  1.1224 +
  1.1225 +
  1.1226 +if (262144 >>> 7 !== 2048) { 
  1.1227 +  $ERROR('#243: 262144 >>> 7 === 2048. Actual: ' + (262144 >>> 7)); 
  1.1228 +} 
  1.1229 +
  1.1230 +
  1.1231 +if (524288 >>> 7 !== 4096) { 
  1.1232 +  $ERROR('#244: 524288 >>> 7 === 4096. Actual: ' + (524288 >>> 7)); 
  1.1233 +} 
  1.1234 +
  1.1235 +
  1.1236 +if (1048576 >>> 7 !== 8192) { 
  1.1237 +  $ERROR('#245: 1048576 >>> 7 === 8192. Actual: ' + (1048576 >>> 7)); 
  1.1238 +} 
  1.1239 +
  1.1240 +
  1.1241 +if (2097152 >>> 7 !== 16384) { 
  1.1242 +  $ERROR('#246: 2097152 >>> 7 === 16384. Actual: ' + (2097152 >>> 7)); 
  1.1243 +} 
  1.1244 +
  1.1245 +
  1.1246 +if (4194304 >>> 7 !== 32768) { 
  1.1247 +  $ERROR('#247: 4194304 >>> 7 === 32768. Actual: ' + (4194304 >>> 7)); 
  1.1248 +} 
  1.1249 +
  1.1250 +
  1.1251 +if (8388608 >>> 7 !== 65536) { 
  1.1252 +  $ERROR('#248: 8388608 >>> 7 === 65536. Actual: ' + (8388608 >>> 7)); 
  1.1253 +} 
  1.1254 +
  1.1255 +
  1.1256 +if (16777216 >>> 7 !== 131072) { 
  1.1257 +  $ERROR('#249: 16777216 >>> 7 === 131072. Actual: ' + (16777216 >>> 7)); 
  1.1258 +} 
  1.1259 +
  1.1260 +
  1.1261 +if (33554432 >>> 7 !== 262144) { 
  1.1262 +  $ERROR('#250: 33554432 >>> 7 === 262144. Actual: ' + (33554432 >>> 7)); 
  1.1263 +} 
  1.1264 +
  1.1265 +
  1.1266 +if (67108864 >>> 7 !== 524288) { 
  1.1267 +  $ERROR('#251: 67108864 >>> 7 === 524288. Actual: ' + (67108864 >>> 7)); 
  1.1268 +} 
  1.1269 +
  1.1270 +
  1.1271 +if (134217728 >>> 7 !== 1048576) { 
  1.1272 +  $ERROR('#252: 134217728 >>> 7 === 1048576. Actual: ' + (134217728 >>> 7)); 
  1.1273 +} 
  1.1274 +
  1.1275 +
  1.1276 +if (268435456 >>> 7 !== 2097152) { 
  1.1277 +  $ERROR('#253: 268435456 >>> 7 === 2097152. Actual: ' + (268435456 >>> 7)); 
  1.1278 +} 
  1.1279 +
  1.1280 +
  1.1281 +if (536870912 >>> 7 !== 4194304) { 
  1.1282 +  $ERROR('#254: 536870912 >>> 7 === 4194304. Actual: ' + (536870912 >>> 7)); 
  1.1283 +} 
  1.1284 +
  1.1285 +
  1.1286 +if (1073741824 >>> 7 !== 8388608) { 
  1.1287 +  $ERROR('#255: 1073741824 >>> 7 === 8388608. Actual: ' + (1073741824 >>> 7)); 
  1.1288 +} 
  1.1289 +
  1.1290 +
  1.1291 +if (2147483648 >>> 7 !== 16777216) { 
  1.1292 +  $ERROR('#256: 2147483648 >>> 7 === 16777216. Actual: ' + (2147483648 >>> 7)); 
  1.1293 +} 
  1.1294 +
  1.1295 +
  1.1296 +if (1 >>> 8 !== 0) { 
  1.1297 +  $ERROR('#257: 1 >>> 8 === 0. Actual: ' + (1 >>> 8)); 
  1.1298 +} 
  1.1299 +
  1.1300 +
  1.1301 +if (2 >>> 8 !== 0) { 
  1.1302 +  $ERROR('#258: 2 >>> 8 === 0. Actual: ' + (2 >>> 8)); 
  1.1303 +} 
  1.1304 +
  1.1305 +
  1.1306 +if (4 >>> 8 !== 0) { 
  1.1307 +  $ERROR('#259: 4 >>> 8 === 0. Actual: ' + (4 >>> 8)); 
  1.1308 +} 
  1.1309 +
  1.1310 +
  1.1311 +if (8 >>> 8 !== 0) { 
  1.1312 +  $ERROR('#260: 8 >>> 8 === 0. Actual: ' + (8 >>> 8)); 
  1.1313 +} 
  1.1314 +
  1.1315 +
  1.1316 +if (16 >>> 8 !== 0) { 
  1.1317 +  $ERROR('#261: 16 >>> 8 === 0. Actual: ' + (16 >>> 8)); 
  1.1318 +} 
  1.1319 +
  1.1320 +
  1.1321 +if (32 >>> 8 !== 0) { 
  1.1322 +  $ERROR('#262: 32 >>> 8 === 0. Actual: ' + (32 >>> 8)); 
  1.1323 +} 
  1.1324 +
  1.1325 +
  1.1326 +if (64 >>> 8 !== 0) { 
  1.1327 +  $ERROR('#263: 64 >>> 8 === 0. Actual: ' + (64 >>> 8)); 
  1.1328 +} 
  1.1329 +
  1.1330 +
  1.1331 +if (128 >>> 8 !== 0) { 
  1.1332 +  $ERROR('#264: 128 >>> 8 === 0. Actual: ' + (128 >>> 8)); 
  1.1333 +} 
  1.1334 +
  1.1335 +
  1.1336 +if (256 >>> 8 !== 1) { 
  1.1337 +  $ERROR('#265: 256 >>> 8 === 1. Actual: ' + (256 >>> 8)); 
  1.1338 +} 
  1.1339 +
  1.1340 +
  1.1341 +if (512 >>> 8 !== 2) { 
  1.1342 +  $ERROR('#266: 512 >>> 8 === 2. Actual: ' + (512 >>> 8)); 
  1.1343 +} 
  1.1344 +
  1.1345 +
  1.1346 +if (1024 >>> 8 !== 4) { 
  1.1347 +  $ERROR('#267: 1024 >>> 8 === 4. Actual: ' + (1024 >>> 8)); 
  1.1348 +} 
  1.1349 +
  1.1350 +
  1.1351 +if (2048 >>> 8 !== 8) { 
  1.1352 +  $ERROR('#268: 2048 >>> 8 === 8. Actual: ' + (2048 >>> 8)); 
  1.1353 +} 
  1.1354 +
  1.1355 +
  1.1356 +if (4096 >>> 8 !== 16) { 
  1.1357 +  $ERROR('#269: 4096 >>> 8 === 16. Actual: ' + (4096 >>> 8)); 
  1.1358 +} 
  1.1359 +
  1.1360 +
  1.1361 +if (8192 >>> 8 !== 32) { 
  1.1362 +  $ERROR('#270: 8192 >>> 8 === 32. Actual: ' + (8192 >>> 8)); 
  1.1363 +} 
  1.1364 +
  1.1365 +
  1.1366 +if (16384 >>> 8 !== 64) { 
  1.1367 +  $ERROR('#271: 16384 >>> 8 === 64. Actual: ' + (16384 >>> 8)); 
  1.1368 +} 
  1.1369 +
  1.1370 +
  1.1371 +if (32768 >>> 8 !== 128) { 
  1.1372 +  $ERROR('#272: 32768 >>> 8 === 128. Actual: ' + (32768 >>> 8)); 
  1.1373 +} 
  1.1374 +
  1.1375 +
  1.1376 +if (65536 >>> 8 !== 256) { 
  1.1377 +  $ERROR('#273: 65536 >>> 8 === 256. Actual: ' + (65536 >>> 8)); 
  1.1378 +} 
  1.1379 +
  1.1380 +
  1.1381 +if (131072 >>> 8 !== 512) { 
  1.1382 +  $ERROR('#274: 131072 >>> 8 === 512. Actual: ' + (131072 >>> 8)); 
  1.1383 +} 
  1.1384 +
  1.1385 +
  1.1386 +if (262144 >>> 8 !== 1024) { 
  1.1387 +  $ERROR('#275: 262144 >>> 8 === 1024. Actual: ' + (262144 >>> 8)); 
  1.1388 +} 
  1.1389 +
  1.1390 +
  1.1391 +if (524288 >>> 8 !== 2048) { 
  1.1392 +  $ERROR('#276: 524288 >>> 8 === 2048. Actual: ' + (524288 >>> 8)); 
  1.1393 +} 
  1.1394 +
  1.1395 +
  1.1396 +if (1048576 >>> 8 !== 4096) { 
  1.1397 +  $ERROR('#277: 1048576 >>> 8 === 4096. Actual: ' + (1048576 >>> 8)); 
  1.1398 +} 
  1.1399 +
  1.1400 +
  1.1401 +if (2097152 >>> 8 !== 8192) { 
  1.1402 +  $ERROR('#278: 2097152 >>> 8 === 8192. Actual: ' + (2097152 >>> 8)); 
  1.1403 +} 
  1.1404 +
  1.1405 +
  1.1406 +if (4194304 >>> 8 !== 16384) { 
  1.1407 +  $ERROR('#279: 4194304 >>> 8 === 16384. Actual: ' + (4194304 >>> 8)); 
  1.1408 +} 
  1.1409 +
  1.1410 +
  1.1411 +if (8388608 >>> 8 !== 32768) { 
  1.1412 +  $ERROR('#280: 8388608 >>> 8 === 32768. Actual: ' + (8388608 >>> 8)); 
  1.1413 +} 
  1.1414 +
  1.1415 +
  1.1416 +if (16777216 >>> 8 !== 65536) { 
  1.1417 +  $ERROR('#281: 16777216 >>> 8 === 65536. Actual: ' + (16777216 >>> 8)); 
  1.1418 +} 
  1.1419 +
  1.1420 +
  1.1421 +if (33554432 >>> 8 !== 131072) { 
  1.1422 +  $ERROR('#282: 33554432 >>> 8 === 131072. Actual: ' + (33554432 >>> 8)); 
  1.1423 +} 
  1.1424 +
  1.1425 +
  1.1426 +if (67108864 >>> 8 !== 262144) { 
  1.1427 +  $ERROR('#283: 67108864 >>> 8 === 262144. Actual: ' + (67108864 >>> 8)); 
  1.1428 +} 
  1.1429 +
  1.1430 +
  1.1431 +if (134217728 >>> 8 !== 524288) { 
  1.1432 +  $ERROR('#284: 134217728 >>> 8 === 524288. Actual: ' + (134217728 >>> 8)); 
  1.1433 +} 
  1.1434 +
  1.1435 +
  1.1436 +if (268435456 >>> 8 !== 1048576) { 
  1.1437 +  $ERROR('#285: 268435456 >>> 8 === 1048576. Actual: ' + (268435456 >>> 8)); 
  1.1438 +} 
  1.1439 +
  1.1440 +
  1.1441 +if (536870912 >>> 8 !== 2097152) { 
  1.1442 +  $ERROR('#286: 536870912 >>> 8 === 2097152. Actual: ' + (536870912 >>> 8)); 
  1.1443 +} 
  1.1444 +
  1.1445 +
  1.1446 +if (1073741824 >>> 8 !== 4194304) { 
  1.1447 +  $ERROR('#287: 1073741824 >>> 8 === 4194304. Actual: ' + (1073741824 >>> 8)); 
  1.1448 +} 
  1.1449 +
  1.1450 +
  1.1451 +if (2147483648 >>> 8 !== 8388608) { 
  1.1452 +  $ERROR('#288: 2147483648 >>> 8 === 8388608. Actual: ' + (2147483648 >>> 8)); 
  1.1453 +} 
  1.1454 +
  1.1455 +
  1.1456 +if (1 >>> 9 !== 0) { 
  1.1457 +  $ERROR('#289: 1 >>> 9 === 0. Actual: ' + (1 >>> 9)); 
  1.1458 +} 
  1.1459 +
  1.1460 +
  1.1461 +if (2 >>> 9 !== 0) { 
  1.1462 +  $ERROR('#290: 2 >>> 9 === 0. Actual: ' + (2 >>> 9)); 
  1.1463 +} 
  1.1464 +
  1.1465 +
  1.1466 +if (4 >>> 9 !== 0) { 
  1.1467 +  $ERROR('#291: 4 >>> 9 === 0. Actual: ' + (4 >>> 9)); 
  1.1468 +} 
  1.1469 +
  1.1470 +
  1.1471 +if (8 >>> 9 !== 0) { 
  1.1472 +  $ERROR('#292: 8 >>> 9 === 0. Actual: ' + (8 >>> 9)); 
  1.1473 +} 
  1.1474 +
  1.1475 +
  1.1476 +if (16 >>> 9 !== 0) { 
  1.1477 +  $ERROR('#293: 16 >>> 9 === 0. Actual: ' + (16 >>> 9)); 
  1.1478 +} 
  1.1479 +
  1.1480 +
  1.1481 +if (32 >>> 9 !== 0) { 
  1.1482 +  $ERROR('#294: 32 >>> 9 === 0. Actual: ' + (32 >>> 9)); 
  1.1483 +} 
  1.1484 +
  1.1485 +
  1.1486 +if (64 >>> 9 !== 0) { 
  1.1487 +  $ERROR('#295: 64 >>> 9 === 0. Actual: ' + (64 >>> 9)); 
  1.1488 +} 
  1.1489 +
  1.1490 +
  1.1491 +if (128 >>> 9 !== 0) { 
  1.1492 +  $ERROR('#296: 128 >>> 9 === 0. Actual: ' + (128 >>> 9)); 
  1.1493 +} 
  1.1494 +
  1.1495 +
  1.1496 +if (256 >>> 9 !== 0) { 
  1.1497 +  $ERROR('#297: 256 >>> 9 === 0. Actual: ' + (256 >>> 9)); 
  1.1498 +} 
  1.1499 +
  1.1500 +
  1.1501 +if (512 >>> 9 !== 1) { 
  1.1502 +  $ERROR('#298: 512 >>> 9 === 1. Actual: ' + (512 >>> 9)); 
  1.1503 +} 
  1.1504 +
  1.1505 +
  1.1506 +if (1024 >>> 9 !== 2) { 
  1.1507 +  $ERROR('#299: 1024 >>> 9 === 2. Actual: ' + (1024 >>> 9)); 
  1.1508 +} 
  1.1509 +
  1.1510 +
  1.1511 +if (2048 >>> 9 !== 4) { 
  1.1512 +  $ERROR('#300: 2048 >>> 9 === 4. Actual: ' + (2048 >>> 9)); 
  1.1513 +} 
  1.1514 +
  1.1515 +
  1.1516 +if (4096 >>> 9 !== 8) { 
  1.1517 +  $ERROR('#301: 4096 >>> 9 === 8. Actual: ' + (4096 >>> 9)); 
  1.1518 +} 
  1.1519 +
  1.1520 +
  1.1521 +if (8192 >>> 9 !== 16) { 
  1.1522 +  $ERROR('#302: 8192 >>> 9 === 16. Actual: ' + (8192 >>> 9)); 
  1.1523 +} 
  1.1524 +
  1.1525 +
  1.1526 +if (16384 >>> 9 !== 32) { 
  1.1527 +  $ERROR('#303: 16384 >>> 9 === 32. Actual: ' + (16384 >>> 9)); 
  1.1528 +} 
  1.1529 +
  1.1530 +
  1.1531 +if (32768 >>> 9 !== 64) { 
  1.1532 +  $ERROR('#304: 32768 >>> 9 === 64. Actual: ' + (32768 >>> 9)); 
  1.1533 +} 
  1.1534 +
  1.1535 +
  1.1536 +if (65536 >>> 9 !== 128) { 
  1.1537 +  $ERROR('#305: 65536 >>> 9 === 128. Actual: ' + (65536 >>> 9)); 
  1.1538 +} 
  1.1539 +
  1.1540 +
  1.1541 +if (131072 >>> 9 !== 256) { 
  1.1542 +  $ERROR('#306: 131072 >>> 9 === 256. Actual: ' + (131072 >>> 9)); 
  1.1543 +} 
  1.1544 +
  1.1545 +
  1.1546 +if (262144 >>> 9 !== 512) { 
  1.1547 +  $ERROR('#307: 262144 >>> 9 === 512. Actual: ' + (262144 >>> 9)); 
  1.1548 +} 
  1.1549 +
  1.1550 +
  1.1551 +if (524288 >>> 9 !== 1024) { 
  1.1552 +  $ERROR('#308: 524288 >>> 9 === 1024. Actual: ' + (524288 >>> 9)); 
  1.1553 +} 
  1.1554 +
  1.1555 +
  1.1556 +if (1048576 >>> 9 !== 2048) { 
  1.1557 +  $ERROR('#309: 1048576 >>> 9 === 2048. Actual: ' + (1048576 >>> 9)); 
  1.1558 +} 
  1.1559 +
  1.1560 +
  1.1561 +if (2097152 >>> 9 !== 4096) { 
  1.1562 +  $ERROR('#310: 2097152 >>> 9 === 4096. Actual: ' + (2097152 >>> 9)); 
  1.1563 +} 
  1.1564 +
  1.1565 +
  1.1566 +if (4194304 >>> 9 !== 8192) { 
  1.1567 +  $ERROR('#311: 4194304 >>> 9 === 8192. Actual: ' + (4194304 >>> 9)); 
  1.1568 +} 
  1.1569 +
  1.1570 +
  1.1571 +if (8388608 >>> 9 !== 16384) { 
  1.1572 +  $ERROR('#312: 8388608 >>> 9 === 16384. Actual: ' + (8388608 >>> 9)); 
  1.1573 +} 
  1.1574 +
  1.1575 +
  1.1576 +if (16777216 >>> 9 !== 32768) { 
  1.1577 +  $ERROR('#313: 16777216 >>> 9 === 32768. Actual: ' + (16777216 >>> 9)); 
  1.1578 +} 
  1.1579 +
  1.1580 +
  1.1581 +if (33554432 >>> 9 !== 65536) { 
  1.1582 +  $ERROR('#314: 33554432 >>> 9 === 65536. Actual: ' + (33554432 >>> 9)); 
  1.1583 +} 
  1.1584 +
  1.1585 +
  1.1586 +if (67108864 >>> 9 !== 131072) { 
  1.1587 +  $ERROR('#315: 67108864 >>> 9 === 131072. Actual: ' + (67108864 >>> 9)); 
  1.1588 +} 
  1.1589 +
  1.1590 +
  1.1591 +if (134217728 >>> 9 !== 262144) { 
  1.1592 +  $ERROR('#316: 134217728 >>> 9 === 262144. Actual: ' + (134217728 >>> 9)); 
  1.1593 +} 
  1.1594 +
  1.1595 +
  1.1596 +if (268435456 >>> 9 !== 524288) { 
  1.1597 +  $ERROR('#317: 268435456 >>> 9 === 524288. Actual: ' + (268435456 >>> 9)); 
  1.1598 +} 
  1.1599 +
  1.1600 +
  1.1601 +if (536870912 >>> 9 !== 1048576) { 
  1.1602 +  $ERROR('#318: 536870912 >>> 9 === 1048576. Actual: ' + (536870912 >>> 9)); 
  1.1603 +} 
  1.1604 +
  1.1605 +
  1.1606 +if (1073741824 >>> 9 !== 2097152) { 
  1.1607 +  $ERROR('#319: 1073741824 >>> 9 === 2097152. Actual: ' + (1073741824 >>> 9)); 
  1.1608 +} 
  1.1609 +
  1.1610 +
  1.1611 +if (2147483648 >>> 9 !== 4194304) { 
  1.1612 +  $ERROR('#320: 2147483648 >>> 9 === 4194304. Actual: ' + (2147483648 >>> 9)); 
  1.1613 +} 
  1.1614 +
  1.1615 +
  1.1616 +if (1 >>> 10 !== 0) { 
  1.1617 +  $ERROR('#321: 1 >>> 10 === 0. Actual: ' + (1 >>> 10)); 
  1.1618 +} 
  1.1619 +
  1.1620 +
  1.1621 +if (2 >>> 10 !== 0) { 
  1.1622 +  $ERROR('#322: 2 >>> 10 === 0. Actual: ' + (2 >>> 10)); 
  1.1623 +} 
  1.1624 +
  1.1625 +
  1.1626 +if (4 >>> 10 !== 0) { 
  1.1627 +  $ERROR('#323: 4 >>> 10 === 0. Actual: ' + (4 >>> 10)); 
  1.1628 +} 
  1.1629 +
  1.1630 +
  1.1631 +if (8 >>> 10 !== 0) { 
  1.1632 +  $ERROR('#324: 8 >>> 10 === 0. Actual: ' + (8 >>> 10)); 
  1.1633 +} 
  1.1634 +
  1.1635 +
  1.1636 +if (16 >>> 10 !== 0) { 
  1.1637 +  $ERROR('#325: 16 >>> 10 === 0. Actual: ' + (16 >>> 10)); 
  1.1638 +} 
  1.1639 +
  1.1640 +
  1.1641 +if (32 >>> 10 !== 0) { 
  1.1642 +  $ERROR('#326: 32 >>> 10 === 0. Actual: ' + (32 >>> 10)); 
  1.1643 +} 
  1.1644 +
  1.1645 +
  1.1646 +if (64 >>> 10 !== 0) { 
  1.1647 +  $ERROR('#327: 64 >>> 10 === 0. Actual: ' + (64 >>> 10)); 
  1.1648 +} 
  1.1649 +
  1.1650 +
  1.1651 +if (128 >>> 10 !== 0) { 
  1.1652 +  $ERROR('#328: 128 >>> 10 === 0. Actual: ' + (128 >>> 10)); 
  1.1653 +} 
  1.1654 +
  1.1655 +
  1.1656 +if (256 >>> 10 !== 0) { 
  1.1657 +  $ERROR('#329: 256 >>> 10 === 0. Actual: ' + (256 >>> 10)); 
  1.1658 +} 
  1.1659 +
  1.1660 +
  1.1661 +if (512 >>> 10 !== 0) { 
  1.1662 +  $ERROR('#330: 512 >>> 10 === 0. Actual: ' + (512 >>> 10)); 
  1.1663 +} 
  1.1664 +
  1.1665 +
  1.1666 +if (1024 >>> 10 !== 1) { 
  1.1667 +  $ERROR('#331: 1024 >>> 10 === 1. Actual: ' + (1024 >>> 10)); 
  1.1668 +} 
  1.1669 +
  1.1670 +
  1.1671 +if (2048 >>> 10 !== 2) { 
  1.1672 +  $ERROR('#332: 2048 >>> 10 === 2. Actual: ' + (2048 >>> 10)); 
  1.1673 +} 
  1.1674 +
  1.1675 +
  1.1676 +if (4096 >>> 10 !== 4) { 
  1.1677 +  $ERROR('#333: 4096 >>> 10 === 4. Actual: ' + (4096 >>> 10)); 
  1.1678 +} 
  1.1679 +
  1.1680 +
  1.1681 +if (8192 >>> 10 !== 8) { 
  1.1682 +  $ERROR('#334: 8192 >>> 10 === 8. Actual: ' + (8192 >>> 10)); 
  1.1683 +} 
  1.1684 +
  1.1685 +
  1.1686 +if (16384 >>> 10 !== 16) { 
  1.1687 +  $ERROR('#335: 16384 >>> 10 === 16. Actual: ' + (16384 >>> 10)); 
  1.1688 +} 
  1.1689 +
  1.1690 +
  1.1691 +if (32768 >>> 10 !== 32) { 
  1.1692 +  $ERROR('#336: 32768 >>> 10 === 32. Actual: ' + (32768 >>> 10)); 
  1.1693 +} 
  1.1694 +
  1.1695 +
  1.1696 +if (65536 >>> 10 !== 64) { 
  1.1697 +  $ERROR('#337: 65536 >>> 10 === 64. Actual: ' + (65536 >>> 10)); 
  1.1698 +} 
  1.1699 +
  1.1700 +
  1.1701 +if (131072 >>> 10 !== 128) { 
  1.1702 +  $ERROR('#338: 131072 >>> 10 === 128. Actual: ' + (131072 >>> 10)); 
  1.1703 +} 
  1.1704 +
  1.1705 +
  1.1706 +if (262144 >>> 10 !== 256) { 
  1.1707 +  $ERROR('#339: 262144 >>> 10 === 256. Actual: ' + (262144 >>> 10)); 
  1.1708 +} 
  1.1709 +
  1.1710 +
  1.1711 +if (524288 >>> 10 !== 512) { 
  1.1712 +  $ERROR('#340: 524288 >>> 10 === 512. Actual: ' + (524288 >>> 10)); 
  1.1713 +} 
  1.1714 +
  1.1715 +
  1.1716 +if (1048576 >>> 10 !== 1024) { 
  1.1717 +  $ERROR('#341: 1048576 >>> 10 === 1024. Actual: ' + (1048576 >>> 10)); 
  1.1718 +} 
  1.1719 +
  1.1720 +
  1.1721 +if (2097152 >>> 10 !== 2048) { 
  1.1722 +  $ERROR('#342: 2097152 >>> 10 === 2048. Actual: ' + (2097152 >>> 10)); 
  1.1723 +} 
  1.1724 +
  1.1725 +
  1.1726 +if (4194304 >>> 10 !== 4096) { 
  1.1727 +  $ERROR('#343: 4194304 >>> 10 === 4096. Actual: ' + (4194304 >>> 10)); 
  1.1728 +} 
  1.1729 +
  1.1730 +
  1.1731 +if (8388608 >>> 10 !== 8192) { 
  1.1732 +  $ERROR('#344: 8388608 >>> 10 === 8192. Actual: ' + (8388608 >>> 10)); 
  1.1733 +} 
  1.1734 +
  1.1735 +
  1.1736 +if (16777216 >>> 10 !== 16384) { 
  1.1737 +  $ERROR('#345: 16777216 >>> 10 === 16384. Actual: ' + (16777216 >>> 10)); 
  1.1738 +} 
  1.1739 +
  1.1740 +
  1.1741 +if (33554432 >>> 10 !== 32768) { 
  1.1742 +  $ERROR('#346: 33554432 >>> 10 === 32768. Actual: ' + (33554432 >>> 10)); 
  1.1743 +} 
  1.1744 +
  1.1745 +
  1.1746 +if (67108864 >>> 10 !== 65536) { 
  1.1747 +  $ERROR('#347: 67108864 >>> 10 === 65536. Actual: ' + (67108864 >>> 10)); 
  1.1748 +} 
  1.1749 +
  1.1750 +
  1.1751 +if (134217728 >>> 10 !== 131072) { 
  1.1752 +  $ERROR('#348: 134217728 >>> 10 === 131072. Actual: ' + (134217728 >>> 10)); 
  1.1753 +} 
  1.1754 +
  1.1755 +
  1.1756 +if (268435456 >>> 10 !== 262144) { 
  1.1757 +  $ERROR('#349: 268435456 >>> 10 === 262144. Actual: ' + (268435456 >>> 10)); 
  1.1758 +} 
  1.1759 +
  1.1760 +
  1.1761 +if (536870912 >>> 10 !== 524288) { 
  1.1762 +  $ERROR('#350: 536870912 >>> 10 === 524288. Actual: ' + (536870912 >>> 10)); 
  1.1763 +} 
  1.1764 +
  1.1765 +
  1.1766 +if (1073741824 >>> 10 !== 1048576) { 
  1.1767 +  $ERROR('#351: 1073741824 >>> 10 === 1048576. Actual: ' + (1073741824 >>> 10)); 
  1.1768 +} 
  1.1769 +
  1.1770 +
  1.1771 +if (2147483648 >>> 10 !== 2097152) { 
  1.1772 +  $ERROR('#352: 2147483648 >>> 10 === 2097152. Actual: ' + (2147483648 >>> 10)); 
  1.1773 +} 
  1.1774 +
  1.1775 +
  1.1776 +if (1 >>> 11 !== 0) { 
  1.1777 +  $ERROR('#353: 1 >>> 11 === 0. Actual: ' + (1 >>> 11)); 
  1.1778 +} 
  1.1779 +
  1.1780 +
  1.1781 +if (2 >>> 11 !== 0) { 
  1.1782 +  $ERROR('#354: 2 >>> 11 === 0. Actual: ' + (2 >>> 11)); 
  1.1783 +} 
  1.1784 +
  1.1785 +
  1.1786 +if (4 >>> 11 !== 0) { 
  1.1787 +  $ERROR('#355: 4 >>> 11 === 0. Actual: ' + (4 >>> 11)); 
  1.1788 +} 
  1.1789 +
  1.1790 +
  1.1791 +if (8 >>> 11 !== 0) { 
  1.1792 +  $ERROR('#356: 8 >>> 11 === 0. Actual: ' + (8 >>> 11)); 
  1.1793 +} 
  1.1794 +
  1.1795 +
  1.1796 +if (16 >>> 11 !== 0) { 
  1.1797 +  $ERROR('#357: 16 >>> 11 === 0. Actual: ' + (16 >>> 11)); 
  1.1798 +} 
  1.1799 +
  1.1800 +
  1.1801 +if (32 >>> 11 !== 0) { 
  1.1802 +  $ERROR('#358: 32 >>> 11 === 0. Actual: ' + (32 >>> 11)); 
  1.1803 +} 
  1.1804 +
  1.1805 +
  1.1806 +if (64 >>> 11 !== 0) { 
  1.1807 +  $ERROR('#359: 64 >>> 11 === 0. Actual: ' + (64 >>> 11)); 
  1.1808 +} 
  1.1809 +
  1.1810 +
  1.1811 +if (128 >>> 11 !== 0) { 
  1.1812 +  $ERROR('#360: 128 >>> 11 === 0. Actual: ' + (128 >>> 11)); 
  1.1813 +} 
  1.1814 +
  1.1815 +
  1.1816 +if (256 >>> 11 !== 0) { 
  1.1817 +  $ERROR('#361: 256 >>> 11 === 0. Actual: ' + (256 >>> 11)); 
  1.1818 +} 
  1.1819 +
  1.1820 +
  1.1821 +if (512 >>> 11 !== 0) { 
  1.1822 +  $ERROR('#362: 512 >>> 11 === 0. Actual: ' + (512 >>> 11)); 
  1.1823 +} 
  1.1824 +
  1.1825 +
  1.1826 +if (1024 >>> 11 !== 0) { 
  1.1827 +  $ERROR('#363: 1024 >>> 11 === 0. Actual: ' + (1024 >>> 11)); 
  1.1828 +} 
  1.1829 +
  1.1830 +
  1.1831 +if (2048 >>> 11 !== 1) { 
  1.1832 +  $ERROR('#364: 2048 >>> 11 === 1. Actual: ' + (2048 >>> 11)); 
  1.1833 +} 
  1.1834 +
  1.1835 +
  1.1836 +if (4096 >>> 11 !== 2) { 
  1.1837 +  $ERROR('#365: 4096 >>> 11 === 2. Actual: ' + (4096 >>> 11)); 
  1.1838 +} 
  1.1839 +
  1.1840 +
  1.1841 +if (8192 >>> 11 !== 4) { 
  1.1842 +  $ERROR('#366: 8192 >>> 11 === 4. Actual: ' + (8192 >>> 11)); 
  1.1843 +} 
  1.1844 +
  1.1845 +
  1.1846 +if (16384 >>> 11 !== 8) { 
  1.1847 +  $ERROR('#367: 16384 >>> 11 === 8. Actual: ' + (16384 >>> 11)); 
  1.1848 +} 
  1.1849 +
  1.1850 +
  1.1851 +if (32768 >>> 11 !== 16) { 
  1.1852 +  $ERROR('#368: 32768 >>> 11 === 16. Actual: ' + (32768 >>> 11)); 
  1.1853 +} 
  1.1854 +
  1.1855 +
  1.1856 +if (65536 >>> 11 !== 32) { 
  1.1857 +  $ERROR('#369: 65536 >>> 11 === 32. Actual: ' + (65536 >>> 11)); 
  1.1858 +} 
  1.1859 +
  1.1860 +
  1.1861 +if (131072 >>> 11 !== 64) { 
  1.1862 +  $ERROR('#370: 131072 >>> 11 === 64. Actual: ' + (131072 >>> 11)); 
  1.1863 +} 
  1.1864 +
  1.1865 +
  1.1866 +if (262144 >>> 11 !== 128) { 
  1.1867 +  $ERROR('#371: 262144 >>> 11 === 128. Actual: ' + (262144 >>> 11)); 
  1.1868 +} 
  1.1869 +
  1.1870 +
  1.1871 +if (524288 >>> 11 !== 256) { 
  1.1872 +  $ERROR('#372: 524288 >>> 11 === 256. Actual: ' + (524288 >>> 11)); 
  1.1873 +} 
  1.1874 +
  1.1875 +
  1.1876 +if (1048576 >>> 11 !== 512) { 
  1.1877 +  $ERROR('#373: 1048576 >>> 11 === 512. Actual: ' + (1048576 >>> 11)); 
  1.1878 +} 
  1.1879 +
  1.1880 +
  1.1881 +if (2097152 >>> 11 !== 1024) { 
  1.1882 +  $ERROR('#374: 2097152 >>> 11 === 1024. Actual: ' + (2097152 >>> 11)); 
  1.1883 +} 
  1.1884 +
  1.1885 +
  1.1886 +if (4194304 >>> 11 !== 2048) { 
  1.1887 +  $ERROR('#375: 4194304 >>> 11 === 2048. Actual: ' + (4194304 >>> 11)); 
  1.1888 +} 
  1.1889 +
  1.1890 +
  1.1891 +if (8388608 >>> 11 !== 4096) { 
  1.1892 +  $ERROR('#376: 8388608 >>> 11 === 4096. Actual: ' + (8388608 >>> 11)); 
  1.1893 +} 
  1.1894 +
  1.1895 +
  1.1896 +if (16777216 >>> 11 !== 8192) { 
  1.1897 +  $ERROR('#377: 16777216 >>> 11 === 8192. Actual: ' + (16777216 >>> 11)); 
  1.1898 +} 
  1.1899 +
  1.1900 +
  1.1901 +if (33554432 >>> 11 !== 16384) { 
  1.1902 +  $ERROR('#378: 33554432 >>> 11 === 16384. Actual: ' + (33554432 >>> 11)); 
  1.1903 +} 
  1.1904 +
  1.1905 +
  1.1906 +if (67108864 >>> 11 !== 32768) { 
  1.1907 +  $ERROR('#379: 67108864 >>> 11 === 32768. Actual: ' + (67108864 >>> 11)); 
  1.1908 +} 
  1.1909 +
  1.1910 +
  1.1911 +if (134217728 >>> 11 !== 65536) { 
  1.1912 +  $ERROR('#380: 134217728 >>> 11 === 65536. Actual: ' + (134217728 >>> 11)); 
  1.1913 +} 
  1.1914 +
  1.1915 +
  1.1916 +if (268435456 >>> 11 !== 131072) { 
  1.1917 +  $ERROR('#381: 268435456 >>> 11 === 131072. Actual: ' + (268435456 >>> 11)); 
  1.1918 +} 
  1.1919 +
  1.1920 +
  1.1921 +if (536870912 >>> 11 !== 262144) { 
  1.1922 +  $ERROR('#382: 536870912 >>> 11 === 262144. Actual: ' + (536870912 >>> 11)); 
  1.1923 +} 
  1.1924 +
  1.1925 +
  1.1926 +if (1073741824 >>> 11 !== 524288) { 
  1.1927 +  $ERROR('#383: 1073741824 >>> 11 === 524288. Actual: ' + (1073741824 >>> 11)); 
  1.1928 +} 
  1.1929 +
  1.1930 +
  1.1931 +if (2147483648 >>> 11 !== 1048576) { 
  1.1932 +  $ERROR('#384: 2147483648 >>> 11 === 1048576. Actual: ' + (2147483648 >>> 11)); 
  1.1933 +} 
  1.1934 +
  1.1935 +
  1.1936 +if (1 >>> 12 !== 0) { 
  1.1937 +  $ERROR('#385: 1 >>> 12 === 0. Actual: ' + (1 >>> 12)); 
  1.1938 +} 
  1.1939 +
  1.1940 +
  1.1941 +if (2 >>> 12 !== 0) { 
  1.1942 +  $ERROR('#386: 2 >>> 12 === 0. Actual: ' + (2 >>> 12)); 
  1.1943 +} 
  1.1944 +
  1.1945 +
  1.1946 +if (4 >>> 12 !== 0) { 
  1.1947 +  $ERROR('#387: 4 >>> 12 === 0. Actual: ' + (4 >>> 12)); 
  1.1948 +} 
  1.1949 +
  1.1950 +
  1.1951 +if (8 >>> 12 !== 0) { 
  1.1952 +  $ERROR('#388: 8 >>> 12 === 0. Actual: ' + (8 >>> 12)); 
  1.1953 +} 
  1.1954 +
  1.1955 +
  1.1956 +if (16 >>> 12 !== 0) { 
  1.1957 +  $ERROR('#389: 16 >>> 12 === 0. Actual: ' + (16 >>> 12)); 
  1.1958 +} 
  1.1959 +
  1.1960 +
  1.1961 +if (32 >>> 12 !== 0) { 
  1.1962 +  $ERROR('#390: 32 >>> 12 === 0. Actual: ' + (32 >>> 12)); 
  1.1963 +} 
  1.1964 +
  1.1965 +
  1.1966 +if (64 >>> 12 !== 0) { 
  1.1967 +  $ERROR('#391: 64 >>> 12 === 0. Actual: ' + (64 >>> 12)); 
  1.1968 +} 
  1.1969 +
  1.1970 +
  1.1971 +if (128 >>> 12 !== 0) { 
  1.1972 +  $ERROR('#392: 128 >>> 12 === 0. Actual: ' + (128 >>> 12)); 
  1.1973 +} 
  1.1974 +
  1.1975 +
  1.1976 +if (256 >>> 12 !== 0) { 
  1.1977 +  $ERROR('#393: 256 >>> 12 === 0. Actual: ' + (256 >>> 12)); 
  1.1978 +} 
  1.1979 +
  1.1980 +
  1.1981 +if (512 >>> 12 !== 0) { 
  1.1982 +  $ERROR('#394: 512 >>> 12 === 0. Actual: ' + (512 >>> 12)); 
  1.1983 +} 
  1.1984 +
  1.1985 +
  1.1986 +if (1024 >>> 12 !== 0) { 
  1.1987 +  $ERROR('#395: 1024 >>> 12 === 0. Actual: ' + (1024 >>> 12)); 
  1.1988 +} 
  1.1989 +
  1.1990 +
  1.1991 +if (2048 >>> 12 !== 0) { 
  1.1992 +  $ERROR('#396: 2048 >>> 12 === 0. Actual: ' + (2048 >>> 12)); 
  1.1993 +} 
  1.1994 +
  1.1995 +
  1.1996 +if (4096 >>> 12 !== 1) { 
  1.1997 +  $ERROR('#397: 4096 >>> 12 === 1. Actual: ' + (4096 >>> 12)); 
  1.1998 +} 
  1.1999 +
  1.2000 +
  1.2001 +if (8192 >>> 12 !== 2) { 
  1.2002 +  $ERROR('#398: 8192 >>> 12 === 2. Actual: ' + (8192 >>> 12)); 
  1.2003 +} 
  1.2004 +
  1.2005 +
  1.2006 +if (16384 >>> 12 !== 4) { 
  1.2007 +  $ERROR('#399: 16384 >>> 12 === 4. Actual: ' + (16384 >>> 12)); 
  1.2008 +} 
  1.2009 +
  1.2010 +
  1.2011 +if (32768 >>> 12 !== 8) { 
  1.2012 +  $ERROR('#400: 32768 >>> 12 === 8. Actual: ' + (32768 >>> 12)); 
  1.2013 +} 
  1.2014 +
  1.2015 +
  1.2016 +if (65536 >>> 12 !== 16) { 
  1.2017 +  $ERROR('#401: 65536 >>> 12 === 16. Actual: ' + (65536 >>> 12)); 
  1.2018 +} 
  1.2019 +
  1.2020 +
  1.2021 +if (131072 >>> 12 !== 32) { 
  1.2022 +  $ERROR('#402: 131072 >>> 12 === 32. Actual: ' + (131072 >>> 12)); 
  1.2023 +} 
  1.2024 +
  1.2025 +
  1.2026 +if (262144 >>> 12 !== 64) { 
  1.2027 +  $ERROR('#403: 262144 >>> 12 === 64. Actual: ' + (262144 >>> 12)); 
  1.2028 +} 
  1.2029 +
  1.2030 +
  1.2031 +if (524288 >>> 12 !== 128) { 
  1.2032 +  $ERROR('#404: 524288 >>> 12 === 128. Actual: ' + (524288 >>> 12)); 
  1.2033 +} 
  1.2034 +
  1.2035 +
  1.2036 +if (1048576 >>> 12 !== 256) { 
  1.2037 +  $ERROR('#405: 1048576 >>> 12 === 256. Actual: ' + (1048576 >>> 12)); 
  1.2038 +} 
  1.2039 +
  1.2040 +
  1.2041 +if (2097152 >>> 12 !== 512) { 
  1.2042 +  $ERROR('#406: 2097152 >>> 12 === 512. Actual: ' + (2097152 >>> 12)); 
  1.2043 +} 
  1.2044 +
  1.2045 +
  1.2046 +if (4194304 >>> 12 !== 1024) { 
  1.2047 +  $ERROR('#407: 4194304 >>> 12 === 1024. Actual: ' + (4194304 >>> 12)); 
  1.2048 +} 
  1.2049 +
  1.2050 +
  1.2051 +if (8388608 >>> 12 !== 2048) { 
  1.2052 +  $ERROR('#408: 8388608 >>> 12 === 2048. Actual: ' + (8388608 >>> 12)); 
  1.2053 +} 
  1.2054 +
  1.2055 +
  1.2056 +if (16777216 >>> 12 !== 4096) { 
  1.2057 +  $ERROR('#409: 16777216 >>> 12 === 4096. Actual: ' + (16777216 >>> 12)); 
  1.2058 +} 
  1.2059 +
  1.2060 +
  1.2061 +if (33554432 >>> 12 !== 8192) { 
  1.2062 +  $ERROR('#410: 33554432 >>> 12 === 8192. Actual: ' + (33554432 >>> 12)); 
  1.2063 +} 
  1.2064 +
  1.2065 +
  1.2066 +if (67108864 >>> 12 !== 16384) { 
  1.2067 +  $ERROR('#411: 67108864 >>> 12 === 16384. Actual: ' + (67108864 >>> 12)); 
  1.2068 +} 
  1.2069 +
  1.2070 +
  1.2071 +if (134217728 >>> 12 !== 32768) { 
  1.2072 +  $ERROR('#412: 134217728 >>> 12 === 32768. Actual: ' + (134217728 >>> 12)); 
  1.2073 +} 
  1.2074 +
  1.2075 +
  1.2076 +if (268435456 >>> 12 !== 65536) { 
  1.2077 +  $ERROR('#413: 268435456 >>> 12 === 65536. Actual: ' + (268435456 >>> 12)); 
  1.2078 +} 
  1.2079 +
  1.2080 +
  1.2081 +if (536870912 >>> 12 !== 131072) { 
  1.2082 +  $ERROR('#414: 536870912 >>> 12 === 131072. Actual: ' + (536870912 >>> 12)); 
  1.2083 +} 
  1.2084 +
  1.2085 +
  1.2086 +if (1073741824 >>> 12 !== 262144) { 
  1.2087 +  $ERROR('#415: 1073741824 >>> 12 === 262144. Actual: ' + (1073741824 >>> 12)); 
  1.2088 +} 
  1.2089 +
  1.2090 +
  1.2091 +if (2147483648 >>> 12 !== 524288) { 
  1.2092 +  $ERROR('#416: 2147483648 >>> 12 === 524288. Actual: ' + (2147483648 >>> 12)); 
  1.2093 +} 
  1.2094 +
  1.2095 +
  1.2096 +if (1 >>> 13 !== 0) { 
  1.2097 +  $ERROR('#417: 1 >>> 13 === 0. Actual: ' + (1 >>> 13)); 
  1.2098 +} 
  1.2099 +
  1.2100 +
  1.2101 +if (2 >>> 13 !== 0) { 
  1.2102 +  $ERROR('#418: 2 >>> 13 === 0. Actual: ' + (2 >>> 13)); 
  1.2103 +} 
  1.2104 +
  1.2105 +
  1.2106 +if (4 >>> 13 !== 0) { 
  1.2107 +  $ERROR('#419: 4 >>> 13 === 0. Actual: ' + (4 >>> 13)); 
  1.2108 +} 
  1.2109 +
  1.2110 +
  1.2111 +if (8 >>> 13 !== 0) { 
  1.2112 +  $ERROR('#420: 8 >>> 13 === 0. Actual: ' + (8 >>> 13)); 
  1.2113 +} 
  1.2114 +
  1.2115 +
  1.2116 +if (16 >>> 13 !== 0) { 
  1.2117 +  $ERROR('#421: 16 >>> 13 === 0. Actual: ' + (16 >>> 13)); 
  1.2118 +} 
  1.2119 +
  1.2120 +
  1.2121 +if (32 >>> 13 !== 0) { 
  1.2122 +  $ERROR('#422: 32 >>> 13 === 0. Actual: ' + (32 >>> 13)); 
  1.2123 +} 
  1.2124 +
  1.2125 +
  1.2126 +if (64 >>> 13 !== 0) { 
  1.2127 +  $ERROR('#423: 64 >>> 13 === 0. Actual: ' + (64 >>> 13)); 
  1.2128 +} 
  1.2129 +
  1.2130 +
  1.2131 +if (128 >>> 13 !== 0) { 
  1.2132 +  $ERROR('#424: 128 >>> 13 === 0. Actual: ' + (128 >>> 13)); 
  1.2133 +} 
  1.2134 +
  1.2135 +
  1.2136 +if (256 >>> 13 !== 0) { 
  1.2137 +  $ERROR('#425: 256 >>> 13 === 0. Actual: ' + (256 >>> 13)); 
  1.2138 +} 
  1.2139 +
  1.2140 +
  1.2141 +if (512 >>> 13 !== 0) { 
  1.2142 +  $ERROR('#426: 512 >>> 13 === 0. Actual: ' + (512 >>> 13)); 
  1.2143 +} 
  1.2144 +
  1.2145 +
  1.2146 +if (1024 >>> 13 !== 0) { 
  1.2147 +  $ERROR('#427: 1024 >>> 13 === 0. Actual: ' + (1024 >>> 13)); 
  1.2148 +} 
  1.2149 +
  1.2150 +
  1.2151 +if (2048 >>> 13 !== 0) { 
  1.2152 +  $ERROR('#428: 2048 >>> 13 === 0. Actual: ' + (2048 >>> 13)); 
  1.2153 +} 
  1.2154 +
  1.2155 +
  1.2156 +if (4096 >>> 13 !== 0) { 
  1.2157 +  $ERROR('#429: 4096 >>> 13 === 0. Actual: ' + (4096 >>> 13)); 
  1.2158 +} 
  1.2159 +
  1.2160 +
  1.2161 +if (8192 >>> 13 !== 1) { 
  1.2162 +  $ERROR('#430: 8192 >>> 13 === 1. Actual: ' + (8192 >>> 13)); 
  1.2163 +} 
  1.2164 +
  1.2165 +
  1.2166 +if (16384 >>> 13 !== 2) { 
  1.2167 +  $ERROR('#431: 16384 >>> 13 === 2. Actual: ' + (16384 >>> 13)); 
  1.2168 +} 
  1.2169 +
  1.2170 +
  1.2171 +if (32768 >>> 13 !== 4) { 
  1.2172 +  $ERROR('#432: 32768 >>> 13 === 4. Actual: ' + (32768 >>> 13)); 
  1.2173 +} 
  1.2174 +
  1.2175 +
  1.2176 +if (65536 >>> 13 !== 8) { 
  1.2177 +  $ERROR('#433: 65536 >>> 13 === 8. Actual: ' + (65536 >>> 13)); 
  1.2178 +} 
  1.2179 +
  1.2180 +
  1.2181 +if (131072 >>> 13 !== 16) { 
  1.2182 +  $ERROR('#434: 131072 >>> 13 === 16. Actual: ' + (131072 >>> 13)); 
  1.2183 +} 
  1.2184 +
  1.2185 +
  1.2186 +if (262144 >>> 13 !== 32) { 
  1.2187 +  $ERROR('#435: 262144 >>> 13 === 32. Actual: ' + (262144 >>> 13)); 
  1.2188 +} 
  1.2189 +
  1.2190 +
  1.2191 +if (524288 >>> 13 !== 64) { 
  1.2192 +  $ERROR('#436: 524288 >>> 13 === 64. Actual: ' + (524288 >>> 13)); 
  1.2193 +} 
  1.2194 +
  1.2195 +
  1.2196 +if (1048576 >>> 13 !== 128) { 
  1.2197 +  $ERROR('#437: 1048576 >>> 13 === 128. Actual: ' + (1048576 >>> 13)); 
  1.2198 +} 
  1.2199 +
  1.2200 +
  1.2201 +if (2097152 >>> 13 !== 256) { 
  1.2202 +  $ERROR('#438: 2097152 >>> 13 === 256. Actual: ' + (2097152 >>> 13)); 
  1.2203 +} 
  1.2204 +
  1.2205 +
  1.2206 +if (4194304 >>> 13 !== 512) { 
  1.2207 +  $ERROR('#439: 4194304 >>> 13 === 512. Actual: ' + (4194304 >>> 13)); 
  1.2208 +} 
  1.2209 +
  1.2210 +
  1.2211 +if (8388608 >>> 13 !== 1024) { 
  1.2212 +  $ERROR('#440: 8388608 >>> 13 === 1024. Actual: ' + (8388608 >>> 13)); 
  1.2213 +} 
  1.2214 +
  1.2215 +
  1.2216 +if (16777216 >>> 13 !== 2048) { 
  1.2217 +  $ERROR('#441: 16777216 >>> 13 === 2048. Actual: ' + (16777216 >>> 13)); 
  1.2218 +} 
  1.2219 +
  1.2220 +
  1.2221 +if (33554432 >>> 13 !== 4096) { 
  1.2222 +  $ERROR('#442: 33554432 >>> 13 === 4096. Actual: ' + (33554432 >>> 13)); 
  1.2223 +} 
  1.2224 +
  1.2225 +
  1.2226 +if (67108864 >>> 13 !== 8192) { 
  1.2227 +  $ERROR('#443: 67108864 >>> 13 === 8192. Actual: ' + (67108864 >>> 13)); 
  1.2228 +} 
  1.2229 +
  1.2230 +
  1.2231 +if (134217728 >>> 13 !== 16384) { 
  1.2232 +  $ERROR('#444: 134217728 >>> 13 === 16384. Actual: ' + (134217728 >>> 13)); 
  1.2233 +} 
  1.2234 +
  1.2235 +
  1.2236 +if (268435456 >>> 13 !== 32768) { 
  1.2237 +  $ERROR('#445: 268435456 >>> 13 === 32768. Actual: ' + (268435456 >>> 13)); 
  1.2238 +} 
  1.2239 +
  1.2240 +
  1.2241 +if (536870912 >>> 13 !== 65536) { 
  1.2242 +  $ERROR('#446: 536870912 >>> 13 === 65536. Actual: ' + (536870912 >>> 13)); 
  1.2243 +} 
  1.2244 +
  1.2245 +
  1.2246 +if (1073741824 >>> 13 !== 131072) { 
  1.2247 +  $ERROR('#447: 1073741824 >>> 13 === 131072. Actual: ' + (1073741824 >>> 13)); 
  1.2248 +} 
  1.2249 +
  1.2250 +
  1.2251 +if (2147483648 >>> 13 !== 262144) { 
  1.2252 +  $ERROR('#448: 2147483648 >>> 13 === 262144. Actual: ' + (2147483648 >>> 13)); 
  1.2253 +} 
  1.2254 +
  1.2255 +
  1.2256 +if (1 >>> 14 !== 0) { 
  1.2257 +  $ERROR('#449: 1 >>> 14 === 0. Actual: ' + (1 >>> 14)); 
  1.2258 +} 
  1.2259 +
  1.2260 +
  1.2261 +if (2 >>> 14 !== 0) { 
  1.2262 +  $ERROR('#450: 2 >>> 14 === 0. Actual: ' + (2 >>> 14)); 
  1.2263 +} 
  1.2264 +
  1.2265 +
  1.2266 +if (4 >>> 14 !== 0) { 
  1.2267 +  $ERROR('#451: 4 >>> 14 === 0. Actual: ' + (4 >>> 14)); 
  1.2268 +} 
  1.2269 +
  1.2270 +
  1.2271 +if (8 >>> 14 !== 0) { 
  1.2272 +  $ERROR('#452: 8 >>> 14 === 0. Actual: ' + (8 >>> 14)); 
  1.2273 +} 
  1.2274 +
  1.2275 +
  1.2276 +if (16 >>> 14 !== 0) { 
  1.2277 +  $ERROR('#453: 16 >>> 14 === 0. Actual: ' + (16 >>> 14)); 
  1.2278 +} 
  1.2279 +
  1.2280 +
  1.2281 +if (32 >>> 14 !== 0) { 
  1.2282 +  $ERROR('#454: 32 >>> 14 === 0. Actual: ' + (32 >>> 14)); 
  1.2283 +} 
  1.2284 +
  1.2285 +
  1.2286 +if (64 >>> 14 !== 0) { 
  1.2287 +  $ERROR('#455: 64 >>> 14 === 0. Actual: ' + (64 >>> 14)); 
  1.2288 +} 
  1.2289 +
  1.2290 +
  1.2291 +if (128 >>> 14 !== 0) { 
  1.2292 +  $ERROR('#456: 128 >>> 14 === 0. Actual: ' + (128 >>> 14)); 
  1.2293 +} 
  1.2294 +
  1.2295 +
  1.2296 +if (256 >>> 14 !== 0) { 
  1.2297 +  $ERROR('#457: 256 >>> 14 === 0. Actual: ' + (256 >>> 14)); 
  1.2298 +} 
  1.2299 +
  1.2300 +
  1.2301 +if (512 >>> 14 !== 0) { 
  1.2302 +  $ERROR('#458: 512 >>> 14 === 0. Actual: ' + (512 >>> 14)); 
  1.2303 +} 
  1.2304 +
  1.2305 +
  1.2306 +if (1024 >>> 14 !== 0) { 
  1.2307 +  $ERROR('#459: 1024 >>> 14 === 0. Actual: ' + (1024 >>> 14)); 
  1.2308 +} 
  1.2309 +
  1.2310 +
  1.2311 +if (2048 >>> 14 !== 0) { 
  1.2312 +  $ERROR('#460: 2048 >>> 14 === 0. Actual: ' + (2048 >>> 14)); 
  1.2313 +} 
  1.2314 +
  1.2315 +
  1.2316 +if (4096 >>> 14 !== 0) { 
  1.2317 +  $ERROR('#461: 4096 >>> 14 === 0. Actual: ' + (4096 >>> 14)); 
  1.2318 +} 
  1.2319 +
  1.2320 +
  1.2321 +if (8192 >>> 14 !== 0) { 
  1.2322 +  $ERROR('#462: 8192 >>> 14 === 0. Actual: ' + (8192 >>> 14)); 
  1.2323 +} 
  1.2324 +
  1.2325 +
  1.2326 +if (16384 >>> 14 !== 1) { 
  1.2327 +  $ERROR('#463: 16384 >>> 14 === 1. Actual: ' + (16384 >>> 14)); 
  1.2328 +} 
  1.2329 +
  1.2330 +
  1.2331 +if (32768 >>> 14 !== 2) { 
  1.2332 +  $ERROR('#464: 32768 >>> 14 === 2. Actual: ' + (32768 >>> 14)); 
  1.2333 +} 
  1.2334 +
  1.2335 +
  1.2336 +if (65536 >>> 14 !== 4) { 
  1.2337 +  $ERROR('#465: 65536 >>> 14 === 4. Actual: ' + (65536 >>> 14)); 
  1.2338 +} 
  1.2339 +
  1.2340 +
  1.2341 +if (131072 >>> 14 !== 8) { 
  1.2342 +  $ERROR('#466: 131072 >>> 14 === 8. Actual: ' + (131072 >>> 14)); 
  1.2343 +} 
  1.2344 +
  1.2345 +
  1.2346 +if (262144 >>> 14 !== 16) { 
  1.2347 +  $ERROR('#467: 262144 >>> 14 === 16. Actual: ' + (262144 >>> 14)); 
  1.2348 +} 
  1.2349 +
  1.2350 +
  1.2351 +if (524288 >>> 14 !== 32) { 
  1.2352 +  $ERROR('#468: 524288 >>> 14 === 32. Actual: ' + (524288 >>> 14)); 
  1.2353 +} 
  1.2354 +
  1.2355 +
  1.2356 +if (1048576 >>> 14 !== 64) { 
  1.2357 +  $ERROR('#469: 1048576 >>> 14 === 64. Actual: ' + (1048576 >>> 14)); 
  1.2358 +} 
  1.2359 +
  1.2360 +
  1.2361 +if (2097152 >>> 14 !== 128) { 
  1.2362 +  $ERROR('#470: 2097152 >>> 14 === 128. Actual: ' + (2097152 >>> 14)); 
  1.2363 +} 
  1.2364 +
  1.2365 +
  1.2366 +if (4194304 >>> 14 !== 256) { 
  1.2367 +  $ERROR('#471: 4194304 >>> 14 === 256. Actual: ' + (4194304 >>> 14)); 
  1.2368 +} 
  1.2369 +
  1.2370 +
  1.2371 +if (8388608 >>> 14 !== 512) { 
  1.2372 +  $ERROR('#472: 8388608 >>> 14 === 512. Actual: ' + (8388608 >>> 14)); 
  1.2373 +} 
  1.2374 +
  1.2375 +
  1.2376 +if (16777216 >>> 14 !== 1024) { 
  1.2377 +  $ERROR('#473: 16777216 >>> 14 === 1024. Actual: ' + (16777216 >>> 14)); 
  1.2378 +} 
  1.2379 +
  1.2380 +
  1.2381 +if (33554432 >>> 14 !== 2048) { 
  1.2382 +  $ERROR('#474: 33554432 >>> 14 === 2048. Actual: ' + (33554432 >>> 14)); 
  1.2383 +} 
  1.2384 +
  1.2385 +
  1.2386 +if (67108864 >>> 14 !== 4096) { 
  1.2387 +  $ERROR('#475: 67108864 >>> 14 === 4096. Actual: ' + (67108864 >>> 14)); 
  1.2388 +} 
  1.2389 +
  1.2390 +
  1.2391 +if (134217728 >>> 14 !== 8192) { 
  1.2392 +  $ERROR('#476: 134217728 >>> 14 === 8192. Actual: ' + (134217728 >>> 14)); 
  1.2393 +} 
  1.2394 +
  1.2395 +
  1.2396 +if (268435456 >>> 14 !== 16384) { 
  1.2397 +  $ERROR('#477: 268435456 >>> 14 === 16384. Actual: ' + (268435456 >>> 14)); 
  1.2398 +} 
  1.2399 +
  1.2400 +
  1.2401 +if (536870912 >>> 14 !== 32768) { 
  1.2402 +  $ERROR('#478: 536870912 >>> 14 === 32768. Actual: ' + (536870912 >>> 14)); 
  1.2403 +} 
  1.2404 +
  1.2405 +
  1.2406 +if (1073741824 >>> 14 !== 65536) { 
  1.2407 +  $ERROR('#479: 1073741824 >>> 14 === 65536. Actual: ' + (1073741824 >>> 14)); 
  1.2408 +} 
  1.2409 +
  1.2410 +
  1.2411 +if (2147483648 >>> 14 !== 131072) { 
  1.2412 +  $ERROR('#480: 2147483648 >>> 14 === 131072. Actual: ' + (2147483648 >>> 14)); 
  1.2413 +} 
  1.2414 +
  1.2415 +
  1.2416 +if (1 >>> 15 !== 0) { 
  1.2417 +  $ERROR('#481: 1 >>> 15 === 0. Actual: ' + (1 >>> 15)); 
  1.2418 +} 
  1.2419 +
  1.2420 +
  1.2421 +if (2 >>> 15 !== 0) { 
  1.2422 +  $ERROR('#482: 2 >>> 15 === 0. Actual: ' + (2 >>> 15)); 
  1.2423 +} 
  1.2424 +
  1.2425 +
  1.2426 +if (4 >>> 15 !== 0) { 
  1.2427 +  $ERROR('#483: 4 >>> 15 === 0. Actual: ' + (4 >>> 15)); 
  1.2428 +} 
  1.2429 +
  1.2430 +
  1.2431 +if (8 >>> 15 !== 0) { 
  1.2432 +  $ERROR('#484: 8 >>> 15 === 0. Actual: ' + (8 >>> 15)); 
  1.2433 +} 
  1.2434 +
  1.2435 +
  1.2436 +if (16 >>> 15 !== 0) { 
  1.2437 +  $ERROR('#485: 16 >>> 15 === 0. Actual: ' + (16 >>> 15)); 
  1.2438 +} 
  1.2439 +
  1.2440 +
  1.2441 +if (32 >>> 15 !== 0) { 
  1.2442 +  $ERROR('#486: 32 >>> 15 === 0. Actual: ' + (32 >>> 15)); 
  1.2443 +} 
  1.2444 +
  1.2445 +
  1.2446 +if (64 >>> 15 !== 0) { 
  1.2447 +  $ERROR('#487: 64 >>> 15 === 0. Actual: ' + (64 >>> 15)); 
  1.2448 +} 
  1.2449 +
  1.2450 +
  1.2451 +if (128 >>> 15 !== 0) { 
  1.2452 +  $ERROR('#488: 128 >>> 15 === 0. Actual: ' + (128 >>> 15)); 
  1.2453 +} 
  1.2454 +
  1.2455 +
  1.2456 +if (256 >>> 15 !== 0) { 
  1.2457 +  $ERROR('#489: 256 >>> 15 === 0. Actual: ' + (256 >>> 15)); 
  1.2458 +} 
  1.2459 +
  1.2460 +
  1.2461 +if (512 >>> 15 !== 0) { 
  1.2462 +  $ERROR('#490: 512 >>> 15 === 0. Actual: ' + (512 >>> 15)); 
  1.2463 +} 
  1.2464 +
  1.2465 +
  1.2466 +if (1024 >>> 15 !== 0) { 
  1.2467 +  $ERROR('#491: 1024 >>> 15 === 0. Actual: ' + (1024 >>> 15)); 
  1.2468 +} 
  1.2469 +
  1.2470 +
  1.2471 +if (2048 >>> 15 !== 0) { 
  1.2472 +  $ERROR('#492: 2048 >>> 15 === 0. Actual: ' + (2048 >>> 15)); 
  1.2473 +} 
  1.2474 +
  1.2475 +
  1.2476 +if (4096 >>> 15 !== 0) { 
  1.2477 +  $ERROR('#493: 4096 >>> 15 === 0. Actual: ' + (4096 >>> 15)); 
  1.2478 +} 
  1.2479 +
  1.2480 +
  1.2481 +if (8192 >>> 15 !== 0) { 
  1.2482 +  $ERROR('#494: 8192 >>> 15 === 0. Actual: ' + (8192 >>> 15)); 
  1.2483 +} 
  1.2484 +
  1.2485 +
  1.2486 +if (16384 >>> 15 !== 0) { 
  1.2487 +  $ERROR('#495: 16384 >>> 15 === 0. Actual: ' + (16384 >>> 15)); 
  1.2488 +} 
  1.2489 +
  1.2490 +
  1.2491 +if (32768 >>> 15 !== 1) { 
  1.2492 +  $ERROR('#496: 32768 >>> 15 === 1. Actual: ' + (32768 >>> 15)); 
  1.2493 +} 
  1.2494 +
  1.2495 +
  1.2496 +if (65536 >>> 15 !== 2) { 
  1.2497 +  $ERROR('#497: 65536 >>> 15 === 2. Actual: ' + (65536 >>> 15)); 
  1.2498 +} 
  1.2499 +
  1.2500 +
  1.2501 +if (131072 >>> 15 !== 4) { 
  1.2502 +  $ERROR('#498: 131072 >>> 15 === 4. Actual: ' + (131072 >>> 15)); 
  1.2503 +} 
  1.2504 +
  1.2505 +
  1.2506 +if (262144 >>> 15 !== 8) { 
  1.2507 +  $ERROR('#499: 262144 >>> 15 === 8. Actual: ' + (262144 >>> 15)); 
  1.2508 +} 
  1.2509 +
  1.2510 +
  1.2511 +if (524288 >>> 15 !== 16) { 
  1.2512 +  $ERROR('#500: 524288 >>> 15 === 16. Actual: ' + (524288 >>> 15)); 
  1.2513 +} 
  1.2514 +
  1.2515 +
  1.2516 +if (1048576 >>> 15 !== 32) { 
  1.2517 +  $ERROR('#501: 1048576 >>> 15 === 32. Actual: ' + (1048576 >>> 15)); 
  1.2518 +} 
  1.2519 +
  1.2520 +
  1.2521 +if (2097152 >>> 15 !== 64) { 
  1.2522 +  $ERROR('#502: 2097152 >>> 15 === 64. Actual: ' + (2097152 >>> 15)); 
  1.2523 +} 
  1.2524 +
  1.2525 +
  1.2526 +if (4194304 >>> 15 !== 128) { 
  1.2527 +  $ERROR('#503: 4194304 >>> 15 === 128. Actual: ' + (4194304 >>> 15)); 
  1.2528 +} 
  1.2529 +
  1.2530 +
  1.2531 +if (8388608 >>> 15 !== 256) { 
  1.2532 +  $ERROR('#504: 8388608 >>> 15 === 256. Actual: ' + (8388608 >>> 15)); 
  1.2533 +} 
  1.2534 +
  1.2535 +
  1.2536 +if (16777216 >>> 15 !== 512) { 
  1.2537 +  $ERROR('#505: 16777216 >>> 15 === 512. Actual: ' + (16777216 >>> 15)); 
  1.2538 +} 
  1.2539 +
  1.2540 +
  1.2541 +if (33554432 >>> 15 !== 1024) { 
  1.2542 +  $ERROR('#506: 33554432 >>> 15 === 1024. Actual: ' + (33554432 >>> 15)); 
  1.2543 +} 
  1.2544 +
  1.2545 +
  1.2546 +if (67108864 >>> 15 !== 2048) { 
  1.2547 +  $ERROR('#507: 67108864 >>> 15 === 2048. Actual: ' + (67108864 >>> 15)); 
  1.2548 +} 
  1.2549 +
  1.2550 +
  1.2551 +if (134217728 >>> 15 !== 4096) { 
  1.2552 +  $ERROR('#508: 134217728 >>> 15 === 4096. Actual: ' + (134217728 >>> 15)); 
  1.2553 +} 
  1.2554 +
  1.2555 +
  1.2556 +if (268435456 >>> 15 !== 8192) { 
  1.2557 +  $ERROR('#509: 268435456 >>> 15 === 8192. Actual: ' + (268435456 >>> 15)); 
  1.2558 +} 
  1.2559 +
  1.2560 +
  1.2561 +if (536870912 >>> 15 !== 16384) { 
  1.2562 +  $ERROR('#510: 536870912 >>> 15 === 16384. Actual: ' + (536870912 >>> 15)); 
  1.2563 +} 
  1.2564 +
  1.2565 +
  1.2566 +if (1073741824 >>> 15 !== 32768) { 
  1.2567 +  $ERROR('#511: 1073741824 >>> 15 === 32768. Actual: ' + (1073741824 >>> 15)); 
  1.2568 +} 
  1.2569 +
  1.2570 +
  1.2571 +if (2147483648 >>> 15 !== 65536) { 
  1.2572 +  $ERROR('#512: 2147483648 >>> 15 === 65536. Actual: ' + (2147483648 >>> 15)); 
  1.2573 +}  
  1.2574 +