#include <stdint.h>
int
main()
{
	struct {
		uint64_t *v;
	} x;
	return (int)__atomic_load_n(x.v, __ATOMIC_ACQUIRE);
}