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