externvoidabort(void);long longf(long long a,long long b){return((a + b) <<32) >>32;}long long a =0x1234567876543210LL;long long b =0x2345678765432101LL;long long c = ((0x1234567876543210LL +0x2345678765432101LL) <<32) >>32;intmain(){if(f(a, b) != c)abort();return0;}