<?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">
<svg xmlns="http://www.w3.org/2000/svg" xmlns:xl="http://www.w3.org/1999/xlink" version="1.1" viewBox="-2 3 732 514" width="61pc" height="514pt" xmlns:dc="http://purl.org/dc/elements/1.1/"><metadata> Produced by OmniGraffle 6.1 <dc:date>2011-05-16 18:32:22 +0000</dc:date></metadata><defs><font-face font-family="Helvetica" font-size="12" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-weight="500"><font-face-src><font-face-name name="Helvetica"/></font-face-src></font-face><font-face font-family="Helvetica" font-size="10" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-weight="500"><font-face-src><font-face-name name="Helvetica"/></font-face-src></font-face><font-face font-family="Helvetica" font-size="12" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="532.22656" cap-height="719.72656" ascent="770.01953" descent="-229.98047" font-weight="bold"><font-face-src><font-face-name name="Helvetica-Bold"/></font-face-src></font-face><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="UMLInheritance_Marker" viewBox="-1 -8 14 16" markerWidth="14" markerHeight="16" color="black"><g><path d="M 12 0 L 0 -7 L 0 7 Z" fill="none" stroke="currentColor" stroke-width="1"/></g></marker><filter id="Shadow" filterUnits="userSpaceOnUse"><feGaussianBlur in="SourceAlpha" result="blur" stdDeviation="1.308"/><feOffset in="blur" result="offset" dx="0" dy="2"/><feFlood flood-color="black" flood-opacity=".5" result="flood"/><feComposite in="flood" in2="offset" operator="in" result="color"/><feMerge><feMergeNode in="color"/><feMergeNode in="SourceGraphic"/></feMerge></filter><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="StickArrow_Marker" viewBox="-1 -4 10 8" markerWidth="10" markerHeight="8" color="black"><g><path d="M 8 0 L 0 0 M 0 -3 L 8 0 L 0 3" fill="none" stroke="currentColor" stroke-width="1"/></g></marker><font-face font-family="Courier" font-size="11" units-per-em="1000" underline-position="-178.22266" underline-thickness="57.617188" slope="0" x-height="462.40234" cap-height="594.72656" ascent="753.90625" descent="-246.09375" font-weight="500"><font-face-src><font-face-name name="Courier"/></font-face-src></font-face><font-face font-family="Courier" font-size="11" units-per-em="1000" underline-position="-144.04297" underline-thickness="91.796875" slope="0" x-height="462.40234" cap-height="594.72656" ascent="753.90625" descent="-246.09375" font-weight="bold"><font-face-src><font-face-name name="Courier-Bold"/></font-face-src></font-face><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="StickArrow_Marker_2" viewBox="-1 -4 9 8" markerWidth="9" markerHeight="8" color="gray"><g><path d="M 6.3999996 0 L 0 0 M 0 -2.3999999 L 6.3999996 0 L 0 2.3999999" fill="none" stroke="currentColor" stroke-width="1"/></g></marker><font-face font-family="Times New Roman" font-size="14" panose-1="2 2 5 3 5 4 5 9 3 4" units-per-em="1000" underline-position="-108.88672" underline-thickness="48.828125" slope="-1166.6423" x-height="430.17578" cap-height="662.10938" ascent="891.1133" descent="-216.3086" font-style="italic" font-weight="500"><font-face-src><font-face-name name="TimesNewRomanPS-ItalicMT"/></font-face-src></font-face></defs><g stroke="none" stroke-opacity="1" stroke-dasharray="none" fill="none" fill-opacity="1"><title>Canvas 1</title><rect fill="white" width="768.0188" height="588.0188"/><g><title>Layer 1</title><path d="M 487.518 259.358 L 549.518 259.358 C 558.35456 259.358 565.518 266.52144 565.518 275.358 L 565.518 341.358 C 565.518 350.19456 558.35456 357.358 549.518 357.358 L 487.518 357.358 C 478.68144 357.358 471.518 350.19456 471.518 341.358 L 471.518 275.358 C 471.518 266.52144 478.68144 259.358 487.518 259.358 Z" fill="#e6e6e6"/><path d="M 487.518 259.358 L 549.518 259.358 C 558.35456 259.358 565.518 266.52144 565.518 275.358 L 565.518 341.358 C 565.518 350.19456 558.35456 357.358 549.518 357.358 L 487.518 357.358 C 478.68144 357.358 471.518 350.19456 471.518 341.358 L 471.518 275.358 C 471.518 266.52144 478.68144 259.358 487.518 259.358 Z" stroke="silver" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 275.368 259.358 L 337.368 259.358 C 346.20456 259.358 353.368 266.52144 353.368 275.358 L 353.368 356.407 C 353.368 365.24356 346.20456 372.407 337.368 372.407 L 275.368 372.407 C 266.53144 372.407 259.368 365.24356 259.368 356.407 L 259.368 275.358 C 259.368 266.52144 266.53144 259.358 275.368 259.358 Z" fill="#e6e6e6"/><path d="M 275.368 259.358 L 337.368 259.358 C 346.20456 259.358 353.368 266.52144 353.368 275.358 L 353.368 356.407 C 353.368 365.24356 346.20456 372.407 337.368 372.407 L 275.368 372.407 C 266.53144 372.407 259.368 365.24356 259.368 356.407 L 259.368 275.358 C 259.368 266.52144 266.53144 259.358 275.368 259.358 Z" stroke="silver" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 26.8252 54.5645 L 26.8252 19.3645 C 26.8252 16.9357 37.5772 14.9645 50.8252 14.9645 C 64.0732 14.9645 74.8252 16.9357 74.8252 19.3645 L 74.8252 54.5645 C 74.8252 56.9933 64.0732 58.9645 50.8252 58.9645 C 37.5772 58.9645 26.8252 56.9933 26.8252 54.5645" fill="white"/><path d="M 26.8252 54.5645 L 26.8252 19.3645 C 26.8252 16.9357 37.5772 14.9645 50.8252 14.9645 C 64.0732 14.9645 74.8252 16.9357 74.8252 19.3645 L 74.8252 54.5645 C 74.8252 56.9933 64.0732 58.9645 50.8252 58.9645 C 37.5772 58.9645 26.8252 56.9933 26.8252 54.5645 M 26.8252 19.3645 C 26.8252 21.7933 37.5772 23.7645 50.8252 23.7645 C 64.0732 23.7645 74.8252 21.7933 74.8252 19.3645" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(31.8252 32.1645)" fill="gray"><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="gray" x="1.328125" y="11" textLength="35.34375">*.class</tspan></text><rect x="494.553" y="61.0215" width="121.415" height="28" fill="white"/><rect x="494.553" y="61.0215" width="121.415" height="28" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(499.553 61.0215)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="11" textLength="99.375">Instruction ifeq(tgt)</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="25" textLength="10.001953">...</tspan></text><rect x="494.553" y="35.0215" width="121.415" height="26" fill="white"/><rect x="494.553" y="35.0215" width="121.415" height="26" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(499.553 35.0215)" fill="#404040"><tspan font-family="Helvetica" font-size="10" font-weight="500" fill="#404040" x="30.96873" y="10" textLength="49.47754">«interface»</tspan><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="3.0346484" y="23" textLength="105.3457">InstructionFactory</tspan></text><rect x="639.695" y="200.846" width="61.7822" height="28" fill="white"/><rect x="639.695" y="200.846" width="61.7822" height="28" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(644.695 207.846)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="20.890123" y="11" textLength="10.001953">...</tspan></text><line x1="555.26" y1="152.712" x2="555.26028" y2="102.5215" marker-end="url(#UMLInheritance_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 304.67782 189.418 L 304.67782 182.418 L 304.67782 151.623 L 308.217 151.623 L 666.902 151.623 L 669.7412 151.623 L 669.7412 193.34685 L 669.7412 200.34685" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="515.096" y1="189.418" x2="515.93555" y2="151.623" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><rect x="352.606" y="107.24" width="121.415" height="14" fill="white"/><rect x="352.606" y="107.24" width="121.415" height="14" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(357.606 107.24)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="11" textLength="108.714844">Instruction execute()</tspan></text><rect x="352.606" y="93.2401" width="121.415" height="14" fill="white"/><rect x="352.606" y="93.2401" width="121.415" height="14" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(357.606 93.2401)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="24.708477" y="11" textLength="61.998047">Instruction</tspan></text><g filter="url(#Shadow)"><rect x="275.683" y="314.395" width="61.7822" height="28" fill="white"/><rect x="275.683" y="314.395" width="61.7822" height="28" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(280.683 321.395)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="11.8901234" y="11" textLength="28.001953">IFEQ</tspan></text></g><g filter="url(#Shadow)"><rect x="485.885" y="314.395" width="61.7822" height="28" fill="white"/><rect x="485.885" y="314.395" width="61.7822" height="28" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(490.885 321.395)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="11.8901234" y="11" textLength="28.001953">IFEQ</tspan></text></g><g filter="url(#Shadow)"><rect x="275.427" y="270.568" width="61.7822" height="28" fill="white"/><rect x="275.427" y="270.568" width="61.7822" height="28" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(280.427 277.568)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="20.890123" y="11" textLength="10.001953">...</tspan></text></g><g filter="url(#Shadow)"><rect x="485.885" y="270.857" width="61.7822" height="28" fill="white"/><rect x="485.885" y="270.857" width="61.7822" height="28" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(490.885 277.857)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="20.890123" y="11" textLength="10.001953">...</tspan></text></g><path d="M 246.11 247.41 L 245.412 327.791 L 265.2835 327.98724" marker-end="url(#StickArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1" stroke-dasharray="4,4"/><line x1="245.776" y1="285.8723" x2="265.02941" y2="285.4575" marker-end="url(#StickArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1" stroke-dasharray="4,4"/><path d="M 578.975 247.41 L 578.337 328.532 L 558.06717 328.4869" marker-end="url(#StickArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1" stroke-dasharray="4,4"/><line x1="578.68897" y1="283.77946" x2="558.06563" y2="284.1384" marker-end="url(#StickArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1" stroke-dasharray="4,4"/><path d="M 414.287 327.791 L 413.53368 157.12295 C 419.03363 157.09867 418.98507 146.09878 413.48513 146.12305 L 413.43488 134.73987" marker-end="url(#UMLInheritance_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="337.9652" y1="328.21897" x2="414.287" y2="327.791" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="485.385" y1="328.21" x2="414.287" y2="327.791" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(149.162 384.451)" fill="blue"><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="10" textLength="79.21289">Instruction </tspan><tspan font-family="Courier" font-size="11" font-weight="bold" fill="blue" x="79.21289" y="10" textLength="46.20752">execute</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="125.42041" y="10" textLength="39.606445"> (){..</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="23" textLength="151.82471">  cond = popCondition()</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="36" textLength="72.611816">  if (cond)</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="49" textLength="138.62256">    return jumpTarget</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="62" textLength="39.606445">  else</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="75" textLength="158.42578">    return getNextInsn()</tspan></text><path d="M 329.824 76.4422 L 412.748 76.4422 L 412.87469 83.34177" marker-end="url(#StickArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><rect x="216.085" y="82.7095" width="113.739" height="14" fill="white"/><rect x="216.085" y="82.7095" width="113.739" height="14" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(221.085 82.7095)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="11" textLength="78.708984">setCode(code)</tspan></text><rect x="216.085" y="54.7095" width="113.739" height="28" fill="white"/><rect x="216.085" y="54.7095" width="113.739" height="28" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(221.085 54.7095)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="11" textLength="36.011719">factory</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="25" textLength="91.38281">Instruction[] code</tspan></text><rect x="216.085" y="40.7095" width="113.739" height="14" fill="white"/><rect x="216.085" y="40.7095" width="113.739" height="14" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(221.085 40.7095)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="19.546258" y="11" textLength="64.646484">MethodInfo</tspan></text><line x1="329.824" y1="62.127" x2="484.653" y2="62.054543" marker-end="url(#StickArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="74.8252" y1="36.9645" x2="93.35158" y2="36.74587" marker-end="url(#StickArrow_Marker_2)" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="337.7092" y1="284.6111" x2="485.385" y2="284.8139" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="50.7243" y1="176.837" x2="717.844" y2="176.837" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="2" stroke-dasharray="16,9,1,9"/><text transform="translate(53.112 183.541)" fill="red"><tspan font-family="Times New Roman" font-size="14" font-style="italic" font-weight="500" fill="red" x=".23876953" y="12" textLength="31.875977">concr</tspan><tspan font-family="Times New Roman" font-size="14" font-style="italic" font-weight="500" fill="red" x="31.595215" y="12" textLength="132.166016">ete execution semantics</tspan></text><text transform="translate(53.612 153.212)" fill="red"><tspan font-family="Times New Roman" font-size="14" font-style="italic" font-weight="500" fill="red" x=".130859375" y="12" textLength="161.73828">abstract execution semantics</tspan></text><text transform="translate(153.46 299.483)" fill="red"><tspan font-family="Times New Roman" font-size="14" font-style="italic" font-weight="500" fill="red" x=".25439453" y="12" textLength="31.875977">concr</tspan><tspan font-family="Times New Roman" font-size="14" font-style="italic" font-weight="500" fill="red" x="31.61084" y="12" textLength="50.134766">ete value</tspan><tspan font-family="Times New Roman" font-size="14" font-style="italic" font-weight="500" fill="red" x="14.182617" y="28" textLength="53.634766">execution</tspan></text><text transform="translate(592.455 317.551)" fill="red"><tspan font-family="Times New Roman" font-size="14" font-style="italic" font-weight="500" fill="red" x=".20849609" y="12" textLength="83.58301">symbolic value</tspan><tspan font-family="Times New Roman" font-size="14" font-style="italic" font-weight="500" fill="red" x="15.182617" y="28" textLength="53.634766">execution</tspan></text><text transform="translate(266.575 349.18)" fill="black"><tspan font-family="Times New Roman" font-size="14" font-style="italic" font-weight="500" x=".13964844" y="12" textLength="79.720703">instruction set</tspan></text><text transform="translate(414.822 364.88)" fill="blue"><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="10" textLength="79.21289">Instruction </tspan><tspan font-family="Courier" font-size="11" font-weight="bold" fill="blue" x="79.21289" y="10" textLength="46.20752">execute</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="125.42041" y="10" textLength="33.005371">(){..</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="23" textLength="158.42578">  if (!firstStepInsn()){</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="36" textLength="250.84082">    setNextCG(new PCChoiceGenerator())</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="49" textLength="99.016113">    return this</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="62" textLength="19.803223">  }</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="75" textLength="224.43652">  popCondition() // not interested</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="88" textLength="211.23438">  cond = getCG().getNextChoice()</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="101" textLength="99.016113">  if (cond){...</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="114" textLength="138.62256">    return jumpTarget</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="127" textLength="85.813965">  } else {...</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="140" textLength="158.42578">    return getNextInsn()</tspan></text><text transform="translate(617.76 80.3873)" fill="red"><tspan font-family="Times New Roman" font-size="14" font-style="italic" font-weight="500" fill="red" x="7.2963867" y="12" textLength="22.16211">per </tspan><tspan font-family="Times New Roman" font-size="14" font-style="italic" font-weight="500" fill="red" x="29.458496" y="11.753906" textLength="3.5"> </tspan><tspan font-family="Times New Roman" font-size="14" font-style="italic" font-weight="500" fill="red" x="32.958496" y="12" textLength="49.745117">bytecode</tspan><tspan font-family="Times New Roman" font-size="14" font-style="italic" font-weight="500" fill="red" x=".091308594" y="28" textLength="89.817383">factory methods</tspan></text><rect x="232.381" y="215.418" width="139.537" height="28" fill="white"/><rect x="232.381" y="215.418" width="139.537" height="28" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(237.381 215.418)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="11" textLength="99.375">Instruction ifeq(tgt)</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="25" textLength="10.001953">...</tspan></text><rect x="232.381" y="189.418" width="139.537" height="26" fill="white"/><rect x="232.381" y="189.418" width="139.537" height="26" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(237.381 189.418)" fill="#404040"><tspan font-family="Helvetica" font-size="10" font-weight="500" fill="#404040" x="7.3270938" y="10" textLength="16.123047">gov</tspan><tspan font-family="Helvetica" font-size="10" font-weight="500" fill="#404040" x="22.712836" y="10" textLength="99.49707">.nasa.jpf.jvm.bytecode</tspan><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="12.0956484" y="23" textLength="105.3457">InstructionFactory</tspan></text><rect x="429.84" y="215.418" width="174" height="28" fill="white"/><rect x="429.84" y="215.418" width="174" height="28" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(434.84 215.418)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="11" textLength="99.375">Instruction ifeq(tgt)</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="25" textLength="10.001953">...</tspan></text><rect x="429.84" y="189.418" width="174" height="26" fill="white"/><rect x="429.84" y="189.418" width="174" height="26" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(434.84 189.418)" fill="#404040"><tspan font-family="Helvetica" font-size="10" font-weight="500" fill="#404040" x="39.5708" y="10" textLength="16.123047">gov</tspan><tspan font-family="Helvetica" font-size="10" font-weight="500" fill="#404040" x="54.956543" y="10" textLength="69.472656">.nasa.jpf.symbc</tspan><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="2.6523438" y="23" textLength="158.69531">SymbolicInstructionFactory</tspan></text><text transform="translate(12.40741 223.195)" fill="blue"><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="10" textLength="79.21289">Instruction </tspan><tspan font-family="Courier" font-size="11" font-weight="bold" fill="blue" x="79.21289" y="10" textLength="26.404297">ifeq</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="105.61719" y="10" textLength="112.21826">(int jumpTarget){</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="23" textLength="191.43115">  return new IFEQ(jumpTarget)</tspan></text><rect x="101.651" y="55.837" width="84.557" height="14" fill="white"/><rect x="101.651" y="55.837" width="84.557" height="14" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(106.651 55.837)" fill="gray"><tspan font-family="Helvetica" font-size="12" font-weight="bold" fill="gray" x="10.2726406" y="11" textLength="54.01172">ClassInfo</tspan></text><rect x="101.651" y="29.149" width="84.557" height="14" fill="white"/><rect x="101.651" y="29.149" width="84.557" height="14" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(106.651 29.149)" fill="gray"><tspan font-family="Helvetica" font-size="12" font-weight="bold" fill="gray" x="10.93182" y="11" textLength="52.69336">ClassFile</tspan></text><rect x="101.651" y="83.6054" width="84.557" height="14" fill="white"/><rect x="101.651" y="83.6054" width="84.557" height="14" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(106.651 83.6054)" fill="gray"><tspan font-family="Helvetica" font-size="12" font-weight="bold" fill="gray" x="1.6095547" y="11" textLength="71.33789">CodeBuilder</tspan></text><line x1="215.602" y1="62.1806" x2="194.508" y2="62.1806" marker-end="url(#StickArrow_Marker_2)" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="186.208" y1="90.6054" x2="207.785" y2="90.6054" marker-end="url(#StickArrow_Marker_2)" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="144.01023" y1="43.149" x2="144.06628" y2="48.008652" marker-end="url(#StickArrow_Marker_2)" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="143.92952" y1="69.837" x2="143.92953" y2="75.3054" marker-end="url(#StickArrow_Marker_2)" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><rect x="345.178" y="20.3772" width="84.557" height="14" fill="white"/><rect x="345.178" y="20.3772" width="84.557" height="14" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(350.178 20.3772)" fill="gray"><tspan font-family="Helvetica" font-size="12" font-weight="bold" fill="gray" x="18.285336" y="11" textLength="30.65625">Confi</tspan><tspan font-family="Helvetica" font-size="12" font-weight="bold" fill="gray" x="48.941586" y="11" textLength="7.330078">g</tspan></text><path d="M 387.45665 34.3772 L 387.457 51.2746 L 338.124 51.2746" marker-end="url(#StickArrow_Marker_2)" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(435.518 12.0618)" fill="blue"><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="10" textLength="165.02686">vm.insn_factory.class=...</tspan></text></g></g></svg>