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