G eiid4 INIT(*x,0) eiid0 WRITE_ONCE(*x,3) eiid4->eiid0 co eiid1 WRITE_ONCE(*x,4) eiid0->eiid1 co eiid3 r2 = READ_ONCE(*x) eiid0->eiid3 rf eiid2 r1 = READ_ONCE(*x) eiid1->eiid2 rf eiid3->eiid1 fr eiid3->eiid2 po-loc .