long long K;

int main()
{
   __sync_fetch_and_add(&K, 1);
}