#include <time.h>

clock_t _CLOCKS_PER_SEC (void)
{
    return CLOCKS_PER_SEC;
}