#include <stdatomic.h>
int foo = memory_order_seq_cst;
int main(void) { return 0; }