blob: 03ce59072aa2fb34b1c090ff56f927caefa4aaa8 [file] [log] [blame]
long long K;
int main()
{
__sync_fetch_and_add(&K, 1);
}