#include <stdlib.h>
#include <x86intrin.h>
static unsigned long long t0;
static void fin() {
unsigned long long m = __rdtsc() - t0;
unsigned long long target = __rdtsc() + m;
while (__rdtsc() < target) ;
}
__attribute__((constructor(65535))) static void ini() { t0 = __rdtsc(); atexit(fin); }
int plus(int a, int b) { return a + b; }