#include <x86intrin.h>
int plus(int a, int b) { return a + b; }
extern "C" void __init_libc(char **envp, char *pn);
static unsigned long long t0;
void __libc_start_main(int (*mf)(int, char **), int ac, char **av) {
__init_libc(av + ac + 1, av[0]);
t0 = __rdtsc();
mf(ac, av);
unsigned long long m = __rdtsc() - t0;
unsigned long long target = __rdtsc() + 2 * m;
while (__rdtsc() < target) ;
__asm__ volatile("mov $60,%eax; xor %edi,%edi; syscall");
__builtin_unreachable();
}