Given the below C code:
static atomic_int a_i; static void f() { for (int i = 0; i < 100; ++i) atomic_fetch_add_explicit(&a_i, 1, memory_order_re