{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"MALLINFO2.store(mallinfo2,"}]}
        MALLINFO2.store(mallinfo2, Ordering::Relaxed);
        // NB: races don't matter here, since they'll always store the same value
    }