#include <sys/syscall.h>
#include <time.h>
#include <unistd.h>

extern "C"
{
    clock_t clock()
    {
        return syscall(SYS_clock);
    }
}