#include <stdio.h>
double plus(double a,double b){return a+b;}
__attribute__((destructor)) static void d(){
volatile unsigned long long sink=0;
unsigned long long n = 400ULL;
unsigned long long x = 1;
for (unsigned long long i=0;i<n;i++){ x = x*6364136223846793005ULL + 1442695040888963407ULL; }
sink = x;
if (sink == 12345678901234ULL) printf("x");
}