<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.36.0 (20140111.2315)
 -->
<!-- Title: G Pages: 1 -->
<svg width="238pt" height="94pt"
 viewBox="0.00 0.00 238.40 93.68" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(7.2 86.48)">
<title>G</title>
<polygon fill="white" stroke="none" points="-7.2,7.2 -7.2,-86.48 231.2,-86.48 231.2,7.2 -7.2,7.2"/>
<!-- eiid0 -->
<g id="node1" class="node"><title>eiid0</title>
<text text-anchor="middle" x="40" y="-73.38" font-family="Times,serif" font-size="8.00"> WRITE_ONCE(*y,1)</text>
</g>
<!-- eiid7 -->
<g id="node2" class="node"><title>eiid7</title>
<text text-anchor="middle" x="40" y="-37.74" font-family="Times,serif" font-size="8.00"> </text>
</g>
<!-- eiid1 -->
<g id="node3" class="node"><title>eiid1</title>
<text text-anchor="middle" x="40" y="-2.1" font-family="Times,serif" font-size="8.00"> WRITE_ONCE(*x,1)</text>
</g>
<!-- eiid1&#45;&gt;eiid0 -->
<g id="edge3" class="edge"><title>eiid1&#45;&gt;eiid0</title>
<path fill="none" stroke="black" stroke-width="2.5" d="M28.9374,-14.0314C24.2328,-19.0408 19.2692,-25.5069 16.8,-32.44 14.6528,-38.4691 14.6528,-40.8109 16.8,-46.84 20.3915,-56.9244 29.2606,-66.0211 34.9337,-71.0835"/>
<polygon fill="black" stroke="black" stroke-width="2.5" points="31.1529,-15.7824 34.9337,-8.1965 27.2474,-11.769 31.1529,-15.7824"/>
<text text-anchor="middle" x="9.6896" y="-42.64" font-family="Times,serif" font-size="10.00">po</text>
</g>
<!-- eiid2 -->
<g id="node4" class="node"><title>eiid2</title>
<text text-anchor="middle" x="184" y="-73.38" font-family="Times,serif" font-size="8.00"> r1 = READ_ONCE(*x)</text>
</g>
<!-- eiid1&#45;&gt;eiid2 -->
<g id="edge1" class="edge"><title>eiid1&#45;&gt;eiid2</title>
<path fill="none" stroke="red" stroke-width="2.5" d="M48.1547,-8.03655C71.3119,-19.4994 137.765,-52.3938 168.306,-67.5113"/>
<polygon fill="red" stroke="red" stroke-width="2.5" points="167.164,-70.0705 175.576,-71.1102 169.649,-65.0517 167.164,-70.0705"/>
<text text-anchor="middle" x="44.6547" y="-11.0366" font-family="Times,serif" font-size="10.00" fill="red">rf</text>
</g>
<!-- eiid3 -->
<g id="node6" class="node"><title>eiid3</title>
<text text-anchor="middle" x="184" y="-2.1" font-family="Times,serif" font-size="8.00"> r2 = READ_ONCE(*y)</text>
</g>
<!-- eiid2&#45;&gt;eiid3 -->
<g id="edge4" class="edge"><title>eiid2&#45;&gt;eiid3</title>
<path fill="none" stroke="black" stroke-width="2.5" stroke-dasharray="1,5" d="M189.066,-71.0835C194.739,-66.0211 203.609,-56.9244 207.2,-46.84 209.347,-40.8109 209.347,-38.4691 207.2,-32.44 204.731,-25.5069 199.767,-19.0408 195.063,-14.0314"/>
<polygon fill="black" stroke="black" stroke-width="2.5" points="196.753,-11.769 189.066,-8.1965 192.847,-15.7824 196.753,-11.769"/>
<text text-anchor="middle" x="214.31" y="-42.64" font-family="Times,serif" font-size="10.00">po</text>
</g>
<!-- eiid11 -->
<g id="node5" class="node"><title>eiid11</title>
<text text-anchor="middle" x="184" y="-37.74" font-family="Times,serif" font-size="8.00"> </text>
</g>
<!-- eiid3&#45;&gt;eiid0 -->
<g id="edge2" class="edge"><title>eiid3&#45;&gt;eiid0</title>
<path fill="none" stroke="#ffa040" stroke-width="2.5" d="M175.845,-8.03655C152.688,-19.4994 86.2347,-52.3938 55.6944,-67.5113"/>
<polygon fill="#ffa040" stroke="#ffa040" stroke-width="2.5" points="54.3514,-65.0517 48.4239,-71.1102 56.8358,-70.0705 54.3514,-65.0517"/>
<text text-anchor="middle" x="172.345" y="-11.0366" font-family="Times,serif" font-size="10.00" fill="#ffa040">fr</text>
</g>
</g>
</svg>

.
