text: // Binary: cache/js-dbg-64-f3f5d8a8a473-linux
  // Flags: -m -n
  //
  
  function MakeDay( year, month, date ) {
    date = ToInteger(date );
    var t = ( year < 1970 ) ? 1 :  0;
    return ( (Math.floor(t/86400000)) + date - 1 );
  }
  function MakeDate( day, time ) {
    if ( day == Number.POSITIVE_INFINITY || day == Number.NEGATIVE_INFINITY ) {  }
  }
  function ToInteger( t ) {
    var sign = ( t < 0 ) ? -1 : 1;
    return ( sign * Math.floor( Math.abs( t ) ) );
  }
  var UTCDate = MyDateFromTime( Number("946684800000") );
  function MyDate() {
    this.date = 0;
  }
  function MyDateFromTime( t ) {
    var d = new MyDate();
    d.value = ToInteger( MakeDate( MakeDay( d.year, d.month, d.date ), d.time ) );
    var i = 0; while (Uint32Array && i < 10000) { ++i; if (0 == 100000) return;   }
  }
  