text: load("fcfbc86708bc3a4062c2091a062e13b6.js");
  load("45e1d6de6cbdd6f2ea33d472d566096a.js");
  /* -*- indent-tabs-mode: nil; js-indent-level: 2 -*- */
  /*
   * Any copyright is dedicated to the Public Domain.
   * http://creativecommons.org/licenses/publicdomain/
   * Contributor: Bob Clary
   */
  
  //-----------------------------------------------------------------------------
  var BUGNUMBER = 424954;
  var summary = 'Do not crash with [].concat(null)';
  var actual = 'No Crash';
  var expect = 'No Crash';
  
  
  //-----------------------------------------------------------------------------
  test();
  //-----------------------------------------------------------------------------
  
  function test()
  {
    enterFunc ('test');
    printBugNumber(BUGNUMBER);
    printStatus (summary);
   
    [].concat(null);
  
    reportCompare(expect, actual, summary);
  
    exitFunc ('test');
  }
  