code: function utcTimestampToGpsTimestamp(utcTimestamp) {
    // Get lastIndex for which our gpsTimestamp is greater
    var lastIndex = void 0;
    for (lastIndex = 0; lastIndex < gpsLeapSeconds.length; ++lastIndex) {
      if (utcTimestamp - gpsLeapSeconds[lastIndex] > 0) {
        break;
      }
    }
  
    var leapSecondsOffset = gpsLeapSeconds.length - lastIndex;
  
    return new Date(utcTimestamp.getTime() + leapSecondsOffset * 1000);
  }
docs: Convert UTC timestamp with leap seconds to a GPS timestamps without leap seconds.
  
  @param {Date} timestamp - A `moment` object representing a GPS timestamp, w/o leap-seconds.
  @returns {Date} - A `moment` object representing a UTC timestamp, with leap-seconds.