#include <stdatomic.h>

int astiavAtomicLoadInt(atomic_int* i);
void astiavAtomicStoreInt(atomic_int* i, int v);