int v = 0;

int
atomic_fetch_add_ACQ_REL (int a)
{
  return __atomic_fetch_add (&v, a, __ATOMIC_ACQ_REL);
}

int
atomic_fetch_sub_ACQ_REL (int a)
{
  return __atomic_fetch_sub (&v, a, __ATOMIC_ACQ_REL);
}

int
atomic_fetch_and_ACQ_REL (int a)
{
  return __atomic_fetch_and (&v, a, __ATOMIC_ACQ_REL);
}

int
atomic_fetch_nand_ACQ_REL (int a)
{
  return __atomic_fetch_nand (&v, a, __ATOMIC_ACQ_REL);
}

int
atomic_fetch_xor_ACQ_REL (int a)
{
  return __atomic_fetch_xor (&v, a, __ATOMIC_ACQ_REL);
}

int
atomic_fetch_or_ACQ_REL (int a)
{
  return __atomic_fetch_or (&v, a, __ATOMIC_ACQ_REL);
}