#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>

int
main(void)
{
    printf("_SC_CLK_TCK=%ld\n", sysconf(_SC_CLK_TCK));
    exit(EXIT_SUCCESS);
}