func formatPAXTime(ts time.Time) (s string) {
	secs, nsecs := ts.Unix(), ts.Nanosecond()
	if nsecs == 0 {
		return strconv.FormatInt(secs, 10)
	}

	// If seconds is negative, then perform correction.
	sign := ""
	if secs < 0 {
		sign = "-"             // Remember sign
		secs = -(secs + 1)     // Add a second to secs
		nsecs = -(nsecs - 1e9) // Take that second away from nsecs
	}

	int ServerGetInfo([in,string,unique] wchar_t *servername,
			[in] int level,
			[out,switch_is(level)] ServerInfo *info);

	typedef struct {
		uint32_t elapsedt;  
		uint32_t msecs;  
		uint32_t hours;  
		uint32_t mins;  
		uint32_t secs;  
		uint32_t hunds;
		uint32_t timezone;  
		uint32_t tinterval;  
		uint32_t day;  
		uint32_t month;  
		uint32_t year;  
		uint32_t weekday;
	} TimeOfDayInfo;

	int ServerGetInfo([in,string,unique] wchar_t *servername,
			[in] int level,
			[out,switch_is(level)] ServerInfo *info);

	typedef struct {
		uint32_t elapsedt;  
		uint32_t msecs;  
		uint32_t hours;  
		uint32_t mins;  
		uint32_t secs;  
		uint32_t hunds;
		uint32_t timezone;  
		uint32_t tinterval;  
		uint32_t day;  
		uint32_t month;  
		uint32_t year;  
		uint32_t weekday;
	} TimeOfDayInfo;

package(default_visibility = ["//visibility:public"])

filegroup(
    name = "gcc",
    srcs = glob(["bin/*-gcc"]),
)

filegroup(
    name = "ar",
    srcs = glob(["bin/*-ar"]),
)

filegroup(
    name = "ld",
    srcs = glob(["bin/*-ld"]),
)

filegroup(
    name = "nm",
    srcs = glob(["bin/*-nm"]),
)

filegroup(
    name = "objcopy",
    srcs = glob(["bin/*-objcopy"]),
)

filegroup(
    name = "objdump",

  private Set<DurationSpec> expireAfterWrites = Sets.newHashSet((DurationSpec) null);
  private Set<DurationSpec> expireAfterAccesses = Sets.newHashSet((DurationSpec) null);
  private Set<DurationSpec> refreshes = Sets.newHashSet((DurationSpec) null);
  private Set<Strength> keyStrengths = Sets.newHashSet((Strength) null);
  private Set<Strength> valueStrengths = Sets.newHashSet((Strength) null);

     */
    IDTYPE getId();

    /**
     * Sets the identifier of the access result.
     *
     * @param id the identifier
     */
    void setId(IDTYPE id);

    /**
     * Returns the session identifier.
     *
     * @return the session identifier
     */
    String getSessionId();

    /**
     * Sets the session identifier.
     *
     * @param sessionId the session identifier

    /**
     * Gets the total number of records.
     *
     * @return The total record count.
     */
    public int getAllRecordCount() {
        return allRecordCount;
    }

    /**
     * Sets the total number of records.
     *
     * @param allRecordCount The total record count.
     */
    public void setAllRecordCount(final int allRecordCount) {
        this.allRecordCount = allRecordCount;
    }

     */
    IDTYPE getId();

    /**
     * Sets the unique identifier for the URL queue.
     *
     * @param id the unique identifier to set
     */
    void setId(IDTYPE id);

    /**
     * Retrieves the session ID associated with this URL queue.
     *
     * @return the session ID as a String.
     */
    String getSessionId();

    /**
     * Sets the session ID for the URL queue.
     *

    /**
     * Gets the total number of records.
     * @return The total number of records.
     */
    public int getAllRecordCount() {
        return allRecordCount;
    }

    /**
     * Sets the total number of records.
     * @param allRecordCount The total number of records.
     */
    public void setAllRecordCount(final int allRecordCount) {
        this.allRecordCount = allRecordCount;
    }

     * Sets the number of data shards.
     * @param dataShards The number of data shards.
     */
    public void setDataShards(final int dataShards) {
        this.dataShards = dataShards;
    }

    /**
     * Returns the number of filter shards.
     * @return The number of filter shards.
     */
    public int getFilterShards() {
        return filterShards;
    }

    /**