text: // Copyright 2009 the Sputnik authors.  All rights reserved.
  // This code is governed by the BSD license found in the LICENSE file.
  
  /*---
  info: The production x >>>= y is the same as x = x >>> y
  es5id: 11.13.2_A4.8_T1.4
  description: Type(x) and Type(y) vary between Null and Undefined
  ---*/
  
  //CHECK#1
  x = null;
  x >>>= undefined;
  if (x !== 0) {
    $ERROR('#1: x = null; x >>>= undefined; x === 0. Actual: ' + (x));
  }
  
  //CHECK#2
  x = undefined;
  x >>>= null;
  if (x !== 0) {
    $ERROR('#2: x = undefined; x >>>= null; x === 0. Actual: ' + (x));
  }
  
  //CHECK#3
  x = undefined;
  x >>>= undefined;
  if (x !== 0) {
    $ERROR('#3: x = undefined; x >>>= undefined; x === 0. Actual: ' + (x));
  }
  
  //CHECK#4
  x = null;
  x >>>= null;
  if (x !== 0) {
    $ERROR('#4: x = null; x >>>= null; x === 0. Actual: ' + (x));
  }
  