#include <unistd.h>      /* 2 is _SC_CLK_TCK */

int main( void )
{
  int err_val;
  
  err_val = sysconf(_SC_CLK_TCK);
  printf( "Clock: %dHz\n", err_val );

}