1 long long K;
2 
main()3 int main()
4 {
5    __sync_fetch_and_add(&K, 1);
6 }
7