#include <stdio.h>

double RDTSC(void);

int main(void)
{
    RDTSC();

	return 0;
}