<map id="Invalidation Guarantees" name="Invalidation Guarantees"> <area shape="rect" id="node1" href="$a01530.html" title=" " alt="" coords="5,5,55,29"/> <area shape="rect" id="node2" title=" " alt="" coords="103,5,255,29"/> </map>
<map id="Invalidation Guarantees" name="Invalidation Guarantees"> <area shape="rect" id="node1" href="$a01530.html" title=" " alt="" coords="5,5,55,29"/> <area shape="rect" id="node2" title=" " alt="" coords="103,5,255,29"/> </map>