<?xml version="1.0" encoding="UTF-8"?>
<xmi:XMI xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:l2="http://www.eclipse.org/uml2/4.0.0/UML/Profile/L2" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xsi:schemaLocation="http://www.eclipse.org/uml2/4.0.0/UML/Profile/L2 pathmap://UML_PROFILES/Standard.profile.uml#_QLYqEHJLEeKLR_U6HVChUg">
  <uml:Model xmi:id="_HTafoI44EeWgMs9w54iBCg" name="Model" visibility="package">
    <packagedElement xmi:type="uml:Class" xmi:id="_HTafoY44EeWgMs9w54iBCg" name="Interactive_PingPong" classifierBehavior="_HTafqo44EeWgMs9w54iBCg" isActive="true">
      <packageImport xmi:id="_HTafoo44EeWgMs9w54iBCg" visibility="private">
        <importedPackage href="Libraries/Alf.library.uml#Alf-Library-PrimitiveTypes"/>
      </packageImport>
      <packageImport xmi:id="_HTafo444EeWgMs9w54iBCg" visibility="private">
        <importedPackage href="Libraries/Alf.library.uml#Alf-Library-PrimitiveBehaviors"/>
      </packageImport>
      <packageImport xmi:id="_HTafpI44EeWgMs9w54iBCg" visibility="private">
        <importedPackage href="Libraries/Alf.library.uml#Alf-Library-BasicInputOutput"/>
      </packageImport>
      <packageImport xmi:id="_HTafpY44EeWgMs9w54iBCg" visibility="private">
        <importedPackage href="Libraries/Alf.library.uml#Alf-Library-CollectionFunctions"/>
      </packageImport>
      <packageImport xmi:id="_HTafpo44EeWgMs9w54iBCg" visibility="private">
        <importedPackage href="Libraries/Alf.library.uml#Alf-Library-CollectionClasses"/>
      </packageImport>
      <ownedAttribute xmi:id="_HTafp444EeWgMs9w54iBCg" name="Interactive_PingPong$initializationFlag$1" visibility="protected">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTafqI44EeWgMs9w54iBCg" value="1"/>
        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTafqY44EeWgMs9w54iBCg" value="1"/>
      </ownedAttribute>
      <ownedBehavior xmi:type="uml:Activity" xmi:id="_HTafqo44EeWgMs9w54iBCg" name="Interactive_PingPong$classifierBehavior$1" visibility="private" isActive="true" node="_HTafq444EeWgMs9w54iBCg" group="_HTafq444EeWgMs9w54iBCg">
        <structuredNode xmi:id="_HTafq444EeWgMs9w54iBCg" name="Body(Interactive_PingPong$classifierBehavior$1)">
          <edge xmi:type="uml:ControlFlow" xmi:id="_HTafrI44EeWgMs9w54iBCg" target="_HTbGtI44EeWgMs9w54iBCg" source="_HTafto44EeWgMs9w54iBCg"/>
          <edge xmi:type="uml:ControlFlow" xmi:id="_HTafrY44EeWgMs9w54iBCg" target="_HTbG0I44EeWgMs9w54iBCg" source="_HTbGtI44EeWgMs9w54iBCg"/>
          <edge xmi:type="uml:ControlFlow" xmi:id="_HTafro44EeWgMs9w54iBCg" target="_HTbG3Y44EeWgMs9w54iBCg" source="_HTbG0I44EeWgMs9w54iBCg"/>
          <edge xmi:type="uml:ObjectFlow" xmi:id="_HTafr444EeWgMs9w54iBCg" target="_HTbG-I44EeWgMs9w54iBCg" source="_HTbG3444EeWgMs9w54iBCg"/>
          <edge xmi:type="uml:ObjectFlow" xmi:id="_HTafsI44EeWgMs9w54iBCg" target="_HTbHA444EeWgMs9w54iBCg" source="_HTbGto44EeWgMs9w54iBCg"/>
          <edge xmi:type="uml:ObjectFlow" xmi:id="_HTafsY44EeWgMs9w54iBCg" target="_HTbHDY44EeWgMs9w54iBCg" source="_HTafuI44EeWgMs9w54iBCg"/>
          <edge xmi:type="uml:ObjectFlow" xmi:id="_HTafso44EeWgMs9w54iBCg" target="_HTbHFY44EeWgMs9w54iBCg" source="_HTafuI44EeWgMs9w54iBCg"/>
          <edge xmi:type="uml:ObjectFlow" xmi:id="_HTafs444EeWgMs9w54iBCg" target="_HTbHGI44EeWgMs9w54iBCg" source="_HTbG3444EeWgMs9w54iBCg"/>
          <edge xmi:type="uml:ObjectFlow" xmi:id="_HTaftI44EeWgMs9w54iBCg" target="_HTbHJY44EeWgMs9w54iBCg" source="_HTbGto44EeWgMs9w54iBCg"/>
          <edge xmi:type="uml:ControlFlow" xmi:id="_HTaftY44EeWgMs9w54iBCg" target="_HTbG9I44EeWgMs9w54iBCg" source="_HTbG3Y44EeWgMs9w54iBCg"/>
          <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTafto44EeWgMs9w54iBCg" name="ExpressionStatement@64dcf527" outgoing="_HTafrI44EeWgMs9w54iBCg">
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTaft444EeWgMs9w54iBCg" target="_HTafuI44EeWgMs9w54iBCg" source="_HTafv444EeWgMs9w54iBCg"/>
            <node xmi:type="uml:ForkNode" xmi:id="_HTafuI44EeWgMs9w54iBCg" name="Fork(a)@26a7f691" incoming="_HTaft444EeWgMs9w54iBCg" outgoing="_HTafsY44EeWgMs9w54iBCg _HTafso44EeWgMs9w54iBCg"/>
            <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTafuY44EeWgMs9w54iBCg" name="RightHandSide@1cb978ca">
              <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTafuo44EeWgMs9w54iBCg" name="InstanceCreationExpression@1cb978ca">
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTafu444EeWgMs9w54iBCg" target="_HTafxo44EeWgMs9w54iBCg" source="_HTafyo44EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTafvI44EeWgMs9w54iBCg" target="_HTafzY44EeWgMs9w54iBCg" source="_HTafw444EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTafvY44EeWgMs9w54iBCg" target="_HTbGsY44EeWgMs9w54iBCg" source="_HTafzY44EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTafvo44EeWgMs9w54iBCg" target="_HTafv444EeWgMs9w54iBCg" source="_HTafzY44EeWgMs9w54iBCg"/>
                <structuredNodeOutput xmi:id="_HTafv444EeWgMs9w54iBCg" name="Output(Call(A).result())" incoming="_HTafvo44EeWgMs9w54iBCg" outgoing="_HTaft444EeWgMs9w54iBCg" type="_HTbHs444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTafwI44EeWgMs9w54iBCg" value="1"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTafwY44EeWgMs9w54iBCg" value="1"/>
                </structuredNodeOutput>
                <node xmi:type="uml:CallOperationAction" xmi:id="_HTafwo44EeWgMs9w54iBCg" name="Call(A)" operation="_HTbub444EeWgMs9w54iBCg">
                  <result xmi:id="_HTafw444EeWgMs9w54iBCg" name="Call(A).result()" outgoing="_HTafvI44EeWgMs9w54iBCg" type="_HTbHs444EeWgMs9w54iBCg">
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTafxI44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTafxY44EeWgMs9w54iBCg" value="1"/>
                  </result>
                  <target xmi:id="_HTafxo44EeWgMs9w54iBCg" name="Call(A).target" incoming="_HTafu444EeWgMs9w54iBCg" type="_HTbHs444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTafx444EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTafyI44EeWgMs9w54iBCg" value="1"/>
                  </target>
                </node>
                <node xmi:type="uml:CreateObjectAction" xmi:id="_HTafyY44EeWgMs9w54iBCg" name="Create(A)" classifier="_HTbHs444EeWgMs9w54iBCg">
                  <result xmi:id="_HTafyo44EeWgMs9w54iBCg" name="Create(A).result" outgoing="_HTafu444EeWgMs9w54iBCg" type="_HTbHs444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTafy444EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTafzI44EeWgMs9w54iBCg" value="1"/>
                  </result>
                </node>
                <node xmi:type="uml:ForkNode" xmi:id="_HTafzY44EeWgMs9w54iBCg" name="Fork(Call(A).result())" incoming="_HTafvI44EeWgMs9w54iBCg" outgoing="_HTafvY44EeWgMs9w54iBCg _HTafvo44EeWgMs9w54iBCg"/>
                <node xmi:type="uml:StartObjectBehaviorAction" xmi:id="_HTbGsI44EeWgMs9w54iBCg" name="Start(A)" isSynchronous="false">
                  <object xmi:id="_HTbGsY44EeWgMs9w54iBCg" name="Start(A).object" incoming="_HTafvY44EeWgMs9w54iBCg" type="_HTbHs444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbGso44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbGs444EeWgMs9w54iBCg" value="1"/>
                  </object>
                </node>
              </node>
            </node>
          </node>
          <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbGtI44EeWgMs9w54iBCg" name="ExpressionStatement@775d08b2" incoming="_HTafrI44EeWgMs9w54iBCg" outgoing="_HTafrY44EeWgMs9w54iBCg">
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbGtY44EeWgMs9w54iBCg" target="_HTbGto44EeWgMs9w54iBCg" source="_HTbGvY44EeWgMs9w54iBCg"/>
            <node xmi:type="uml:ForkNode" xmi:id="_HTbGto44EeWgMs9w54iBCg" name="Fork(b)@1a99fc6" incoming="_HTbGtY44EeWgMs9w54iBCg" outgoing="_HTafsI44EeWgMs9w54iBCg _HTaftI44EeWgMs9w54iBCg"/>
            <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbGt444EeWgMs9w54iBCg" name="RightHandSide@6dca5ef4">
              <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbGuI44EeWgMs9w54iBCg" name="InstanceCreationExpression@6dca5ef4">
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbGuY44EeWgMs9w54iBCg" target="_HTbGxI44EeWgMs9w54iBCg" source="_HTbGyI44EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbGuo44EeWgMs9w54iBCg" target="_HTbGy444EeWgMs9w54iBCg" source="_HTbGwY44EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbGu444EeWgMs9w54iBCg" target="_HTbGzY44EeWgMs9w54iBCg" source="_HTbGy444EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbGvI44EeWgMs9w54iBCg" target="_HTbGvY44EeWgMs9w54iBCg" source="_HTbGy444EeWgMs9w54iBCg"/>
                <structuredNodeOutput xmi:id="_HTbGvY44EeWgMs9w54iBCg" name="Output(Call(B).result())" incoming="_HTbGvI44EeWgMs9w54iBCg" outgoing="_HTbGtY44EeWgMs9w54iBCg" type="_HTbue444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbGvo44EeWgMs9w54iBCg" value="1"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbGv444EeWgMs9w54iBCg" value="1"/>
                </structuredNodeOutput>
                <node xmi:type="uml:CallOperationAction" xmi:id="_HTbGwI44EeWgMs9w54iBCg" name="Call(B)" operation="_HTcV2I44EeWgMs9w54iBCg">
                  <result xmi:id="_HTbGwY44EeWgMs9w54iBCg" name="Call(B).result()" outgoing="_HTbGuo44EeWgMs9w54iBCg" type="_HTbue444EeWgMs9w54iBCg">
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbGwo44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbGw444EeWgMs9w54iBCg" value="1"/>
                  </result>
                  <target xmi:id="_HTbGxI44EeWgMs9w54iBCg" name="Call(B).target" incoming="_HTbGuY44EeWgMs9w54iBCg" type="_HTbue444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbGxY44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbGxo44EeWgMs9w54iBCg" value="1"/>
                  </target>
                </node>
                <node xmi:type="uml:CreateObjectAction" xmi:id="_HTbGx444EeWgMs9w54iBCg" name="Create(B)" classifier="_HTbue444EeWgMs9w54iBCg">
                  <result xmi:id="_HTbGyI44EeWgMs9w54iBCg" name="Create(B).result" outgoing="_HTbGuY44EeWgMs9w54iBCg" type="_HTbue444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbGyY44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbGyo44EeWgMs9w54iBCg" value="1"/>
                  </result>
                </node>
                <node xmi:type="uml:ForkNode" xmi:id="_HTbGy444EeWgMs9w54iBCg" name="Fork(Call(B).result())" incoming="_HTbGuo44EeWgMs9w54iBCg" outgoing="_HTbGu444EeWgMs9w54iBCg _HTbGvI44EeWgMs9w54iBCg"/>
                <node xmi:type="uml:StartObjectBehaviorAction" xmi:id="_HTbGzI44EeWgMs9w54iBCg" name="Start(B)" isSynchronous="false">
                  <object xmi:id="_HTbGzY44EeWgMs9w54iBCg" name="Start(B).object" incoming="_HTbGu444EeWgMs9w54iBCg" type="_HTbue444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbGzo44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbGz444EeWgMs9w54iBCg" value="1"/>
                  </object>
                </node>
              </node>
            </node>
          </node>
          <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbG0I44EeWgMs9w54iBCg" name="ExpressionStatement@d12b4e6" incoming="_HTafrY44EeWgMs9w54iBCg" outgoing="_HTafro44EeWgMs9w54iBCg">
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbG0Y44EeWgMs9w54iBCg" target="_HTbG1I44EeWgMs9w54iBCg" source="_HTbG2Y44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ControlFlow" xmi:id="_HTbG0o44EeWgMs9w54iBCg" target="_HTbG0444EeWgMs9w54iBCg" source="_HTbG1444EeWgMs9w54iBCg"/>
            <node xmi:type="uml:CallBehaviorAction" xmi:id="_HTbG0444EeWgMs9w54iBCg" name="Call(Write)" incoming="_HTbG0o44EeWgMs9w54iBCg" behavior="_HTcV6444EeWgMs9w54iBCg">
              <argument xmi:id="_HTbG1I44EeWgMs9w54iBCg" name="Call(Write).argument(value)" incoming="_HTbG0Y44EeWgMs9w54iBCg">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbG1Y44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbG1o44EeWgMs9w54iBCg" value="1"/>
              </argument>
            </node>
            <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbG1444EeWgMs9w54iBCg" name="Tuple@bccfa62" outgoing="_HTbG0o44EeWgMs9w54iBCg">
              <node xmi:type="uml:ValueSpecificationAction" xmi:id="_HTbG2I44EeWgMs9w54iBCg" name="Value(&quot;Enter n: &quot;)">
                <result xmi:id="_HTbG2Y44EeWgMs9w54iBCg" name="Value(&quot;Enter n: &quot;).result" outgoing="_HTbG0Y44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbG2o44EeWgMs9w54iBCg" value="1"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbG2444EeWgMs9w54iBCg" value="1"/>
                </result>
                <value xmi:type="uml:LiteralString" xmi:id="_HTbG3I44EeWgMs9w54iBCg" value="Enter n: ">
                  <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
                </value>
              </node>
            </node>
          </node>
          <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbG3Y44EeWgMs9w54iBCg" name="ExpressionStatement@5e3c891c" incoming="_HTafro44EeWgMs9w54iBCg" outgoing="_HTaftY44EeWgMs9w54iBCg">
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbG3o44EeWgMs9w54iBCg" target="_HTbG3444EeWgMs9w54iBCg" source="_HTbG5444EeWgMs9w54iBCg"/>
            <node xmi:type="uml:ForkNode" xmi:id="_HTbG3444EeWgMs9w54iBCg" name="Fork(n)@3d977619" incoming="_HTbG3o44EeWgMs9w54iBCg" outgoing="_HTafr444EeWgMs9w54iBCg _HTafs444EeWgMs9w54iBCg"/>
            <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbG4I44EeWgMs9w54iBCg" name="RightHandSide@22ca82e6">
              <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbG4Y44EeWgMs9w54iBCg" target="_HTbG5I44EeWgMs9w54iBCg" source="_HTbG8I44EeWgMs9w54iBCg"/>
              <edge xmi:type="uml:ControlFlow" xmi:id="_HTbG4o44EeWgMs9w54iBCg" target="_HTbG4444EeWgMs9w54iBCg" source="_HTbG6o44EeWgMs9w54iBCg"/>
              <node xmi:type="uml:CallBehaviorAction" xmi:id="_HTbG4444EeWgMs9w54iBCg" name="Call(ToInteger)" incoming="_HTbG4o44EeWgMs9w54iBCg">
                <argument xmi:id="_HTbG5I44EeWgMs9w54iBCg" name="Call(ToInteger).argument(x)" incoming="_HTbG4Y44EeWgMs9w54iBCg">
                  <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbG5Y44EeWgMs9w54iBCg" value="1"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbG5o44EeWgMs9w54iBCg" value="1"/>
                </argument>
                <result xmi:id="_HTbG5444EeWgMs9w54iBCg" name="Call(ToInteger).result(result)" outgoing="_HTbG3o44EeWgMs9w54iBCg">
                  <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbG6I44EeWgMs9w54iBCg"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbG6Y44EeWgMs9w54iBCg" value="1"/>
                </result>
                <behavior xmi:type="uml:FunctionBehavior" href="Libraries/fUML.library.uml#PrimitiveBehaviors-IntegerFunctions-ToInteger"/>
              </node>
              <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbG6o44EeWgMs9w54iBCg" name="Tuple@7595d02e" outgoing="_HTbG4o44EeWgMs9w54iBCg">
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbG6444EeWgMs9w54iBCg" target="_HTbG8444EeWgMs9w54iBCg" source="_HTbG7Y44EeWgMs9w54iBCg"/>
                <node xmi:type="uml:CallBehaviorAction" xmi:id="_HTbG7I44EeWgMs9w54iBCg" name="Call(ReadLine)">
                  <result xmi:id="_HTbG7Y44EeWgMs9w54iBCg" name="Call(ReadLine).result(errorStatus)" outgoing="_HTbG6444EeWgMs9w54iBCg">
                    <type xmi:type="uml:DataType" href="Libraries/fUML.library.uml#Common-Status"/>
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbG7o44EeWgMs9w54iBCg"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbG7444EeWgMs9w54iBCg" value="1"/>
                  </result>
                  <result xmi:id="_HTbG8I44EeWgMs9w54iBCg" name="Call(ReadLine).result(result)" outgoing="_HTbG4Y44EeWgMs9w54iBCg">
                    <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbG8Y44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbG8o44EeWgMs9w54iBCg" value="1"/>
                  </result>
                  <behavior xmi:type="uml:Activity" href="Libraries/fUML.library.uml#BasicInputOutput-ReadLine"/>
                </node>
                <node xmi:type="uml:ForkNode" xmi:id="_HTbG8444EeWgMs9w54iBCg" name="Fork(error)@596ccb47" incoming="_HTbG6444EeWgMs9w54iBCg"/>
              </node>
            </node>
          </node>
          <node xmi:type="uml:ConditionalNode" xmi:id="_HTbG9I44EeWgMs9w54iBCg" name="IfStatement@239b06ef" incoming="_HTaftY44EeWgMs9w54iBCg">
            <edge xmi:type="uml:ControlFlow" xmi:id="_HTbG9Y44EeWgMs9w54iBCg" target="_HTbHD444EeWgMs9w54iBCg" source="_HTbG_o44EeWgMs9w54iBCg"/>
            <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbG9o44EeWgMs9w54iBCg" name="Test(Call($$Alf$Library$CollectionFunctions$notEmpty__PrimitiveTypes$Integer__).result())">
              <node xmi:type="uml:CallBehaviorAction" xmi:id="_HTbG9444EeWgMs9w54iBCg" name="Call($$Alf$Library$CollectionFunctions$notEmpty__PrimitiveTypes$Integer__)" behavior="_HTcWL444EeWgMs9w54iBCg">
                <argument xmi:id="_HTbG-I44EeWgMs9w54iBCg" name="Call($$Alf$Library$CollectionFunctions$notEmpty__PrimitiveTypes$Integer__).argument(seq)" incoming="_HTafr444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbG-Y44EeWgMs9w54iBCg"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbG-o44EeWgMs9w54iBCg" value="*"/>
                </argument>
                <result xmi:id="_HTbG-444EeWgMs9w54iBCg" name="Call($$Alf$Library$CollectionFunctions$notEmpty__PrimitiveTypes$Integer__).result()">
                  <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbG_I44EeWgMs9w54iBCg" value="1"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbG_Y44EeWgMs9w54iBCg" value="1"/>
                </result>
              </node>
            </node>
            <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbG_o44EeWgMs9w54iBCg" name="ExpressionStatement@5d0626ec" outgoing="_HTbG9Y44EeWgMs9w54iBCg">
              <edge xmi:type="uml:ControlFlow" xmi:id="_HTbG_444EeWgMs9w54iBCg" target="_HTbHAI44EeWgMs9w54iBCg" source="_HTbHDo44EeWgMs9w54iBCg"/>
              <node xmi:type="uml:ExpansionRegion" xmi:id="_HTbHAI44EeWgMs9w54iBCg" name="Collect(SendSignal(Start))" incoming="_HTbG_444EeWgMs9w54iBCg" mode="parallel" inputElement="_HTbHDY44EeWgMs9w54iBCg">
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbHAY44EeWgMs9w54iBCg" target="_HTbHB444EeWgMs9w54iBCg" source="_HTbHA444EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbHAo44EeWgMs9w54iBCg" target="_HTbHCo44EeWgMs9w54iBCg" source="_HTbHDY44EeWgMs9w54iBCg"/>
                <structuredNodeInput xmi:id="_HTbHA444EeWgMs9w54iBCg" name="Collect(SendSignal(Start)).input(Fork(b)@1a99fc6)" incoming="_HTafsI44EeWgMs9w54iBCg" outgoing="_HTbHAY44EeWgMs9w54iBCg" type="_HTbue444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHBI44EeWgMs9w54iBCg" value="1"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHBY44EeWgMs9w54iBCg" value="1"/>
                </structuredNodeInput>
                <node xmi:type="uml:SendSignalAction" xmi:id="_HTbHBo44EeWgMs9w54iBCg" name="SendSignal(Start)" signal="_HTbudI44EeWgMs9w54iBCg">
                  <argument xmi:id="_HTbHB444EeWgMs9w54iBCg" name="SendSignal(Start).argument(b)" incoming="_HTbHAY44EeWgMs9w54iBCg" type="_HTbue444EeWgMs9w54iBCg">
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHCI44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHCY44EeWgMs9w54iBCg" value="1"/>
                  </argument>
                  <target xmi:id="_HTbHCo44EeWgMs9w54iBCg" name="SendSignal(Start).target" incoming="_HTbHAo44EeWgMs9w54iBCg" type="_HTbHs444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHC444EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHDI44EeWgMs9w54iBCg" value="1"/>
                  </target>
                </node>
              </node>
              <node xmi:type="uml:ExpansionNode" xmi:id="_HTbHDY44EeWgMs9w54iBCg" name="Collect(SendSignal(Start)).inputElement" incoming="_HTafsY44EeWgMs9w54iBCg" outgoing="_HTbHAo44EeWgMs9w54iBCg" regionAsInput="_HTbHAI44EeWgMs9w54iBCg"/>
              <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbHDo44EeWgMs9w54iBCg" name="Feature(Fork(a)@26a7f691)" outgoing="_HTbG_444EeWgMs9w54iBCg"/>
            </node>
            <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbHD444EeWgMs9w54iBCg" name="ExpressionStatement@1a86e5b1" incoming="_HTbG9Y44EeWgMs9w54iBCg">
              <edge xmi:type="uml:ControlFlow" xmi:id="_HTbHEI44EeWgMs9w54iBCg" target="_HTbHEY44EeWgMs9w54iBCg" source="_HTbHJo44EeWgMs9w54iBCg"/>
              <node xmi:type="uml:ExpansionRegion" xmi:id="_HTbHEY44EeWgMs9w54iBCg" name="Collect(SendSignal(Start))" incoming="_HTbHEI44EeWgMs9w54iBCg" mode="parallel" inputElement="_HTbHJY44EeWgMs9w54iBCg">
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbHEo44EeWgMs9w54iBCg" target="_HTbHHI44EeWgMs9w54iBCg" source="_HTbHFY44EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbHE444EeWgMs9w54iBCg" target="_HTbHH444EeWgMs9w54iBCg" source="_HTbHGI44EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbHFI44EeWgMs9w54iBCg" target="_HTbHIo44EeWgMs9w54iBCg" source="_HTbHJY44EeWgMs9w54iBCg"/>
                <structuredNodeInput xmi:id="_HTbHFY44EeWgMs9w54iBCg" name="Collect(SendSignal(Start)).input(Fork(a)@26a7f691)" incoming="_HTafso44EeWgMs9w54iBCg" outgoing="_HTbHEo44EeWgMs9w54iBCg" type="_HTbHs444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHFo44EeWgMs9w54iBCg" value="1"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHF444EeWgMs9w54iBCg" value="1"/>
                </structuredNodeInput>
                <structuredNodeInput xmi:id="_HTbHGI44EeWgMs9w54iBCg" name="Collect(SendSignal(Start)).input(Fork(n)@3d977619)" incoming="_HTafs444EeWgMs9w54iBCg" outgoing="_HTbHE444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHGY44EeWgMs9w54iBCg" value="1"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHGo44EeWgMs9w54iBCg" value="1"/>
                </structuredNodeInput>
                <node xmi:type="uml:SendSignalAction" xmi:id="_HTbHG444EeWgMs9w54iBCg" name="SendSignal(Start)" signal="_HTcV3Y44EeWgMs9w54iBCg">
                  <argument xmi:id="_HTbHHI44EeWgMs9w54iBCg" name="SendSignal(Start).argument(a)" incoming="_HTbHEo44EeWgMs9w54iBCg" type="_HTbHs444EeWgMs9w54iBCg">
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHHY44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHHo44EeWgMs9w54iBCg" value="1"/>
                  </argument>
                  <argument xmi:id="_HTbHH444EeWgMs9w54iBCg" name="SendSignal(Start).argument(n)" incoming="_HTbHE444EeWgMs9w54iBCg">
                    <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHII44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHIY44EeWgMs9w54iBCg" value="1"/>
                  </argument>
                  <target xmi:id="_HTbHIo44EeWgMs9w54iBCg" name="SendSignal(Start).target" incoming="_HTbHFI44EeWgMs9w54iBCg" type="_HTbue444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHI444EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHJI44EeWgMs9w54iBCg" value="1"/>
                  </target>
                </node>
              </node>
              <node xmi:type="uml:ExpansionNode" xmi:id="_HTbHJY44EeWgMs9w54iBCg" name="Collect(SendSignal(Start)).inputElement" incoming="_HTaftI44EeWgMs9w54iBCg" outgoing="_HTbHFI44EeWgMs9w54iBCg" regionAsInput="_HTbHEY44EeWgMs9w54iBCg"/>
              <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbHJo44EeWgMs9w54iBCg" name="Feature(Fork(b)@1a99fc6)" outgoing="_HTbHEI44EeWgMs9w54iBCg"/>
            </node>
            <node xmi:type="uml:ValueSpecificationAction" xmi:id="_HTbHJ444EeWgMs9w54iBCg" name="Value(true)">
              <result xmi:id="_HTbHKI44EeWgMs9w54iBCg" name="Value(true).result" isOrdered="true" isUnique="false">
                <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHKY44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHKo44EeWgMs9w54iBCg" value="1"/>
              </result>
              <value xmi:type="uml:LiteralBoolean" xmi:id="_HTbHK444EeWgMs9w54iBCg" value="true">
                <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
              </value>
            </node>
            <clause xmi:id="_HTbHLI44EeWgMs9w54iBCg" body="_HTbG_o44EeWgMs9w54iBCg _HTbHD444EeWgMs9w54iBCg" decider="_HTbG-444EeWgMs9w54iBCg" successorClause="_HTbHLY44EeWgMs9w54iBCg" test="_HTbG9o44EeWgMs9w54iBCg"/>
            <clause xmi:id="_HTbHLY44EeWgMs9w54iBCg" decider="_HTbHKI44EeWgMs9w54iBCg" predecessorClause="_HTbHLI44EeWgMs9w54iBCg" test="_HTbHJ444EeWgMs9w54iBCg"/>
          </node>
        </structuredNode>
      </ownedBehavior>
      <ownedBehavior xmi:type="uml:Activity" xmi:id="_HTbHLo44EeWgMs9w54iBCg" name="Interactive_PingPong$method$1" specification="_HTbHro44EeWgMs9w54iBCg" node="_HTbHM444EeWgMs9w54iBCg _HTbHNI44EeWgMs9w54iBCg" group="_HTbHNI44EeWgMs9w54iBCg">
        <ownedParameter xmi:id="_HTbHL444EeWgMs9w54iBCg" name="" type="_HTafoY44EeWgMs9w54iBCg" direction="return">
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHMI44EeWgMs9w54iBCg" value="1"/>
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHMY44EeWgMs9w54iBCg" value="1"/>
        </ownedParameter>
        <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbHMo44EeWgMs9w54iBCg" target="_HTbHM444EeWgMs9w54iBCg" source="_HTbHRY44EeWgMs9w54iBCg"/>
        <structuredNode xmi:id="_HTbHNI44EeWgMs9w54iBCg" name="Body(Interactive_PingPong$method$1)">
          <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbHNY44EeWgMs9w54iBCg" target="_HTbHRY44EeWgMs9w54iBCg" source="_HTbHQo44EeWgMs9w54iBCg"/>
          <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbHNo44EeWgMs9w54iBCg" target="_HTbHR444EeWgMs9w54iBCg" source="_HTbHRY44EeWgMs9w54iBCg"/>
          <edge xmi:type="uml:ControlFlow" xmi:id="_HTbHN444EeWgMs9w54iBCg" target="_HTbHQI44EeWgMs9w54iBCg" source="_HTbHRo44EeWgMs9w54iBCg"/>
          <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbHOI44EeWgMs9w54iBCg" target="_HTbHS444EeWgMs9w54iBCg" source="_HTbHRY44EeWgMs9w54iBCg"/>
          <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbHOY44EeWgMs9w54iBCg" target="_HTbHUo44EeWgMs9w54iBCg" source="_HTbHTo44EeWgMs9w54iBCg"/>
          <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbHOo44EeWgMs9w54iBCg" target="_HTbHXo44EeWgMs9w54iBCg" source="_HTbHVY44EeWgMs9w54iBCg"/>
          <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbHO444EeWgMs9w54iBCg" target="_HTbHZI44EeWgMs9w54iBCg" source="_HTbHWY44EeWgMs9w54iBCg"/>
          <edge xmi:type="uml:ControlFlow" xmi:id="_HTbHPI44EeWgMs9w54iBCg" target="_HTbHaI44EeWgMs9w54iBCg" source="_HTbHZ444EeWgMs9w54iBCg"/>
          <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbHPY44EeWgMs9w54iBCg" target="_HTbHaI44EeWgMs9w54iBCg" source="_HTbHYY44EeWgMs9w54iBCg"/>
          <edge xmi:type="uml:ControlFlow" xmi:id="_HTbHPo44EeWgMs9w54iBCg" target="_HTbHRo44EeWgMs9w54iBCg" source="_HTbHaI44EeWgMs9w54iBCg">
            <guard xmi:type="uml:LiteralBoolean" xmi:id="_HTbHP444EeWgMs9w54iBCg" name="Value(true)" value="true"/>
          </edge>
          <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbHQI44EeWgMs9w54iBCg" name="Body" incoming="_HTbHN444EeWgMs9w54iBCg"/>
          <node xmi:type="uml:ReadSelfAction" xmi:id="_HTbHQY44EeWgMs9w54iBCg" name="ReadSelf">
            <result xmi:id="_HTbHQo44EeWgMs9w54iBCg" name="ReadSelf.result" outgoing="_HTbHNY44EeWgMs9w54iBCg" type="_HTafoY44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHQ444EeWgMs9w54iBCg" value="1"/>
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHRI44EeWgMs9w54iBCg" value="1"/>
            </result>
          </node>
          <node xmi:type="uml:ForkNode" xmi:id="_HTbHRY44EeWgMs9w54iBCg" name="Fork(ReadSelf.result)" incoming="_HTbHNY44EeWgMs9w54iBCg" outgoing="_HTbHMo44EeWgMs9w54iBCg _HTbHNo44EeWgMs9w54iBCg _HTbHOI44EeWgMs9w54iBCg"/>
          <node xmi:type="uml:CallOperationAction" xmi:id="_HTbHRo44EeWgMs9w54iBCg" name="Call(Interactive_PingPong$initialization$1)" incoming="_HTbHPo44EeWgMs9w54iBCg" outgoing="_HTbHN444EeWgMs9w54iBCg" operation="_HTbHrY44EeWgMs9w54iBCg">
            <target xmi:id="_HTbHR444EeWgMs9w54iBCg" name="Call(Interactive_PingPong$initialization$1).target" incoming="_HTbHNo44EeWgMs9w54iBCg" type="_HTafoY44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHSI44EeWgMs9w54iBCg" value="1"/>
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHSY44EeWgMs9w54iBCg" value="1"/>
            </target>
          </node>
          <node xmi:type="uml:ReadStructuralFeatureAction" xmi:id="_HTbHSo44EeWgMs9w54iBCg" name="Read(Interactive_PingPong$initializationFlag$1)" structuralFeature="_HTafp444EeWgMs9w54iBCg">
            <object xmi:id="_HTbHS444EeWgMs9w54iBCg" name="Read(Interactive_PingPong$initializationFlag$1).object" incoming="_HTbHOI44EeWgMs9w54iBCg" type="_HTafoY44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHTI44EeWgMs9w54iBCg" value="1"/>
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHTY44EeWgMs9w54iBCg" value="1"/>
            </object>
            <result xmi:id="_HTbHTo44EeWgMs9w54iBCg" name="Read(Interactive_PingPong$initializationFlag$1).result" outgoing="_HTbHOY44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
              <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHT444EeWgMs9w54iBCg" value="1"/>
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHUI44EeWgMs9w54iBCg" value="1"/>
            </result>
          </node>
          <node xmi:type="uml:CallBehaviorAction" xmi:id="_HTbHUY44EeWgMs9w54iBCg" name="Call(ListSize)">
            <argument xmi:id="_HTbHUo44EeWgMs9w54iBCg" name="Call(ListSize).argument(list)" incoming="_HTbHOY44EeWgMs9w54iBCg">
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHU444EeWgMs9w54iBCg"/>
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHVI44EeWgMs9w54iBCg" value="*"/>
            </argument>
            <result xmi:id="_HTbHVY44EeWgMs9w54iBCg" name="Call(ListSize).result(result)" outgoing="_HTbHOo44EeWgMs9w54iBCg">
              <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHVo44EeWgMs9w54iBCg" value="1"/>
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHV444EeWgMs9w54iBCg" value="1"/>
            </result>
            <behavior xmi:type="uml:FunctionBehavior" href="Libraries/fUML.library.uml#PrimitiveBehaviors-ListFunctions-ListSize"/>
          </node>
          <node xmi:type="uml:ValueSpecificationAction" xmi:id="_HTbHWI44EeWgMs9w54iBCg" name="Value(0)">
            <result xmi:id="_HTbHWY44EeWgMs9w54iBCg" name="Value(0).result" outgoing="_HTbHO444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
              <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHWo44EeWgMs9w54iBCg" value="1"/>
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHW444EeWgMs9w54iBCg" value="1"/>
            </result>
            <value xmi:type="uml:LiteralInteger" xmi:id="_HTbHXI44EeWgMs9w54iBCg">
              <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
            </value>
          </node>
          <node xmi:type="uml:TestIdentityAction" xmi:id="_HTbHXY44EeWgMs9w54iBCg" name="Test(Size==0)">
            <first xmi:id="_HTbHXo44EeWgMs9w54iBCg" name="Test(Size==0).first" incoming="_HTbHOo44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHX444EeWgMs9w54iBCg" value="1"/>
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHYI44EeWgMs9w54iBCg" value="1"/>
            </first>
            <result xmi:id="_HTbHYY44EeWgMs9w54iBCg" name="Test(Size==0).result" outgoing="_HTbHPY44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
              <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHYo44EeWgMs9w54iBCg" value="1"/>
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHY444EeWgMs9w54iBCg" value="1"/>
            </result>
            <second xmi:id="_HTbHZI44EeWgMs9w54iBCg" name="Test(Size==0).second" incoming="_HTbHO444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHZY44EeWgMs9w54iBCg" value="1"/>
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHZo44EeWgMs9w54iBCg" value="1"/>
            </second>
          </node>
          <node xmi:type="uml:InitialNode" xmi:id="_HTbHZ444EeWgMs9w54iBCg" name="InitialNode" outgoing="_HTbHPI44EeWgMs9w54iBCg"/>
          <node xmi:type="uml:DecisionNode" xmi:id="_HTbHaI44EeWgMs9w54iBCg" name="Decision(Test(Interactive_PingPong$initializationFlag$1))" incoming="_HTbHPI44EeWgMs9w54iBCg _HTbHPY44EeWgMs9w54iBCg" outgoing="_HTbHPo44EeWgMs9w54iBCg" decisionInputFlow="_HTbHPY44EeWgMs9w54iBCg"/>
        </structuredNode>
        <node xmi:type="uml:ActivityParameterNode" xmi:id="_HTbHM444EeWgMs9w54iBCg" name="Return" incoming="_HTbHMo44EeWgMs9w54iBCg" type="_HTafoY44EeWgMs9w54iBCg" parameter="_HTbHL444EeWgMs9w54iBCg"/>
      </ownedBehavior>
      <ownedBehavior xmi:type="uml:Activity" xmi:id="_HTbHaY44EeWgMs9w54iBCg" name="destroy$method$1" specification="_HTbHso44EeWgMs9w54iBCg" node="_HTbHao44EeWgMs9w54iBCg" group="_HTbHao44EeWgMs9w54iBCg">
        <structuredNode xmi:id="_HTbHao44EeWgMs9w54iBCg" name="Body(destroy$method$1)"/>
      </ownedBehavior>
      <ownedBehavior xmi:type="uml:Activity" xmi:id="_HTbHa444EeWgMs9w54iBCg" name="Interactive_PingPong$initialization$1" specification="_HTbHrY44EeWgMs9w54iBCg" node="_HTbHbI44EeWgMs9w54iBCg" group="_HTbHbI44EeWgMs9w54iBCg">
        <structuredNode xmi:id="_HTbHbI44EeWgMs9w54iBCg" name="Body(Interactive_PingPong$initialization$1)">
          <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbHbY44EeWgMs9w54iBCg" target="_HTbHe444EeWgMs9w54iBCg" source="_HTbHeI44EeWgMs9w54iBCg"/>
          <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbHbo44EeWgMs9w54iBCg" target="_HTbHhY44EeWgMs9w54iBCg" source="_HTbHe444EeWgMs9w54iBCg"/>
          <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbHb444EeWgMs9w54iBCg" target="_HTbHj444EeWgMs9w54iBCg" source="_HTbHe444EeWgMs9w54iBCg"/>
          <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbHcI44EeWgMs9w54iBCg" target="_HTbHlo44EeWgMs9w54iBCg" source="_HTbHko44EeWgMs9w54iBCg"/>
          <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbHcY44EeWgMs9w54iBCg" target="_HTbHoo44EeWgMs9w54iBCg" source="_HTbHmY44EeWgMs9w54iBCg"/>
          <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbHco44EeWgMs9w54iBCg" target="_HTbHqI44EeWgMs9w54iBCg" source="_HTbHnY44EeWgMs9w54iBCg"/>
          <edge xmi:type="uml:ControlFlow" xmi:id="_HTbHc444EeWgMs9w54iBCg" target="_HTbHrI44EeWgMs9w54iBCg" source="_HTbHq444EeWgMs9w54iBCg"/>
          <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbHdI44EeWgMs9w54iBCg" target="_HTbHrI44EeWgMs9w54iBCg" source="_HTbHpY44EeWgMs9w54iBCg"/>
          <edge xmi:type="uml:ControlFlow" xmi:id="_HTbHdY44EeWgMs9w54iBCg" target="_HTbHfI44EeWgMs9w54iBCg" source="_HTbHrI44EeWgMs9w54iBCg">
            <guard xmi:type="uml:LiteralBoolean" xmi:id="_HTbHdo44EeWgMs9w54iBCg" name="Value(true)" value="true"/>
          </edge>
          <node xmi:type="uml:ReadSelfAction" xmi:id="_HTbHd444EeWgMs9w54iBCg" name="ReadSelf">
            <result xmi:id="_HTbHeI44EeWgMs9w54iBCg" name="ReadSelf.result" outgoing="_HTbHbY44EeWgMs9w54iBCg" type="_HTafoY44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHeY44EeWgMs9w54iBCg" value="1"/>
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHeo44EeWgMs9w54iBCg" value="1"/>
            </result>
          </node>
          <node xmi:type="uml:ForkNode" xmi:id="_HTbHe444EeWgMs9w54iBCg" name="Fork(ReadSelf.result)" incoming="_HTbHbY44EeWgMs9w54iBCg" outgoing="_HTbHbo44EeWgMs9w54iBCg _HTbHb444EeWgMs9w54iBCg"/>
          <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbHfI44EeWgMs9w54iBCg" name="Initialization" incoming="_HTbHdY44EeWgMs9w54iBCg">
            <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbHfY44EeWgMs9w54iBCg" name="Set(initializationFlag)">
              <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbHfo44EeWgMs9w54iBCg" target="_HTbHi444EeWgMs9w54iBCg" source="_HTbHgI44EeWgMs9w54iBCg"/>
              <node xmi:type="uml:ValueSpecificationAction" xmi:id="_HTbHf444EeWgMs9w54iBCg" name="Value(true)">
                <result xmi:id="_HTbHgI44EeWgMs9w54iBCg" name="Value(true).result" outgoing="_HTbHfo44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHgY44EeWgMs9w54iBCg" value="1"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHgo44EeWgMs9w54iBCg" value="1"/>
                </result>
                <value xmi:type="uml:LiteralBoolean" xmi:id="_HTbHg444EeWgMs9w54iBCg" value="true">
                  <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
                </value>
              </node>
              <node xmi:type="uml:AddStructuralFeatureValueAction" xmi:id="_HTbHhI44EeWgMs9w54iBCg" name="Write(Interactive_PingPong$initializationFlag$1)" structuralFeature="_HTafp444EeWgMs9w54iBCg" isReplaceAll="true">
                <object xmi:id="_HTbHhY44EeWgMs9w54iBCg" name="Write(Interactive_PingPong$initializationFlag$1).object" incoming="_HTbHbo44EeWgMs9w54iBCg" type="_HTafoY44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHho44EeWgMs9w54iBCg" value="1"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHh444EeWgMs9w54iBCg" value="1"/>
                </object>
                <result xmi:id="_HTbHiI44EeWgMs9w54iBCg" name="Write(Interactive_PingPong$initializationFlag$1).result" type="_HTafoY44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHiY44EeWgMs9w54iBCg" value="1"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHio44EeWgMs9w54iBCg" value="1"/>
                </result>
                <value xmi:id="_HTbHi444EeWgMs9w54iBCg" name="Write(Interactive_PingPong$initializationFlag$1).value" incoming="_HTbHfo44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHjI44EeWgMs9w54iBCg" value="1"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHjY44EeWgMs9w54iBCg" value="1"/>
                </value>
              </node>
            </node>
          </node>
          <node xmi:type="uml:ReadStructuralFeatureAction" xmi:id="_HTbHjo44EeWgMs9w54iBCg" name="Read(Interactive_PingPong$initializationFlag$1)" structuralFeature="_HTafp444EeWgMs9w54iBCg">
            <object xmi:id="_HTbHj444EeWgMs9w54iBCg" name="Read(Interactive_PingPong$initializationFlag$1).object" incoming="_HTbHb444EeWgMs9w54iBCg" type="_HTafoY44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHkI44EeWgMs9w54iBCg" value="1"/>
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHkY44EeWgMs9w54iBCg" value="1"/>
            </object>
            <result xmi:id="_HTbHko44EeWgMs9w54iBCg" name="Read(Interactive_PingPong$initializationFlag$1).result" outgoing="_HTbHcI44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
              <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHk444EeWgMs9w54iBCg" value="1"/>
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHlI44EeWgMs9w54iBCg" value="1"/>
            </result>
          </node>
          <node xmi:type="uml:CallBehaviorAction" xmi:id="_HTbHlY44EeWgMs9w54iBCg" name="Call(ListSize)">
            <argument xmi:id="_HTbHlo44EeWgMs9w54iBCg" name="Call(ListSize).argument(list)" incoming="_HTbHcI44EeWgMs9w54iBCg">
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHl444EeWgMs9w54iBCg"/>
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHmI44EeWgMs9w54iBCg" value="*"/>
            </argument>
            <result xmi:id="_HTbHmY44EeWgMs9w54iBCg" name="Call(ListSize).result(result)" outgoing="_HTbHcY44EeWgMs9w54iBCg">
              <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHmo44EeWgMs9w54iBCg" value="1"/>
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHm444EeWgMs9w54iBCg" value="1"/>
            </result>
            <behavior xmi:type="uml:FunctionBehavior" href="Libraries/fUML.library.uml#PrimitiveBehaviors-ListFunctions-ListSize"/>
          </node>
          <node xmi:type="uml:ValueSpecificationAction" xmi:id="_HTbHnI44EeWgMs9w54iBCg" name="Value(0)">
            <result xmi:id="_HTbHnY44EeWgMs9w54iBCg" name="Value(0).result" outgoing="_HTbHco44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
              <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHno44EeWgMs9w54iBCg" value="1"/>
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHn444EeWgMs9w54iBCg" value="1"/>
            </result>
            <value xmi:type="uml:LiteralInteger" xmi:id="_HTbHoI44EeWgMs9w54iBCg">
              <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
            </value>
          </node>
          <node xmi:type="uml:TestIdentityAction" xmi:id="_HTbHoY44EeWgMs9w54iBCg" name="Test(Size==0)">
            <first xmi:id="_HTbHoo44EeWgMs9w54iBCg" name="Test(Size==0).first" incoming="_HTbHcY44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHo444EeWgMs9w54iBCg" value="1"/>
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHpI44EeWgMs9w54iBCg" value="1"/>
            </first>
            <result xmi:id="_HTbHpY44EeWgMs9w54iBCg" name="Test(Size==0).result" outgoing="_HTbHdI44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
              <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHpo44EeWgMs9w54iBCg" value="1"/>
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHp444EeWgMs9w54iBCg" value="1"/>
            </result>
            <second xmi:id="_HTbHqI44EeWgMs9w54iBCg" name="Test(Size==0).second" incoming="_HTbHco44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHqY44EeWgMs9w54iBCg" value="1"/>
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHqo44EeWgMs9w54iBCg" value="1"/>
            </second>
          </node>
          <node xmi:type="uml:InitialNode" xmi:id="_HTbHq444EeWgMs9w54iBCg" name="InitialNode" outgoing="_HTbHc444EeWgMs9w54iBCg"/>
          <node xmi:type="uml:DecisionNode" xmi:id="_HTbHrI44EeWgMs9w54iBCg" name="Decision(Test(Interactive_PingPong$initializationFlag$1))" incoming="_HTbHc444EeWgMs9w54iBCg _HTbHdI44EeWgMs9w54iBCg" outgoing="_HTbHdY44EeWgMs9w54iBCg" decisionInputFlow="_HTbHdI44EeWgMs9w54iBCg"/>
        </structuredNode>
      </ownedBehavior>
      <ownedOperation xmi:id="_HTbHrY44EeWgMs9w54iBCg" name="Interactive_PingPong$initialization$1" visibility="protected" method="_HTbHa444EeWgMs9w54iBCg"/>
      <ownedOperation xmi:id="_HTbHro44EeWgMs9w54iBCg" name="Interactive_PingPong" visibility="public" method="_HTbHLo44EeWgMs9w54iBCg">
        <ownedParameter xmi:id="_HTbHr444EeWgMs9w54iBCg" name="" visibility="package" type="_HTafoY44EeWgMs9w54iBCg" direction="return">
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHsI44EeWgMs9w54iBCg" value="1"/>
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHsY44EeWgMs9w54iBCg" value="1"/>
        </ownedParameter>
      </ownedOperation>
      <ownedOperation xmi:id="_HTbHso44EeWgMs9w54iBCg" name="destroy" visibility="public" method="_HTbHaY44EeWgMs9w54iBCg"/>
      <nestedClassifier xmi:type="uml:Class" xmi:id="_HTbHs444EeWgMs9w54iBCg" name="A" visibility="package" classifierBehavior="_HTbHt444EeWgMs9w54iBCg" isActive="true">
        <ownedAttribute xmi:id="_HTbHtI44EeWgMs9w54iBCg" name="A$initializationFlag$1" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHtY44EeWgMs9w54iBCg" value="1"/>
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHto44EeWgMs9w54iBCg" value="1"/>
        </ownedAttribute>
        <ownedBehavior xmi:type="uml:Activity" xmi:id="_HTbHt444EeWgMs9w54iBCg" name="A$classifierBehavior$1" visibility="private" isActive="true" node="_HTbHuI44EeWgMs9w54iBCg" group="_HTbHuI44EeWgMs9w54iBCg">
          <structuredNode xmi:id="_HTbHuI44EeWgMs9w54iBCg" name="Body(A$classifierBehavior$1)">
            <edge xmi:type="uml:ControlFlow" xmi:id="_HTbHuY44EeWgMs9w54iBCg" target="_HTbHyY44EeWgMs9w54iBCg" source="_HTbHv444EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbHuo44EeWgMs9w54iBCg" target="_HTbH5Y44EeWgMs9w54iBCg" source="_HTbHwo44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ControlFlow" xmi:id="_HTbHu444EeWgMs9w54iBCg" target="_HTbH2Y44EeWgMs9w54iBCg" source="_HTbHyY44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbHvI44EeWgMs9w54iBCg" target="_HTbt4444EeWgMs9w54iBCg" source="_HTbH2444EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbHvY44EeWgMs9w54iBCg" target="_HTbt5o44EeWgMs9w54iBCg" source="_HTbHwo44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ControlFlow" xmi:id="_HTbHvo44EeWgMs9w54iBCg" target="_HTbH5o44EeWgMs9w54iBCg" source="_HTbH2Y44EeWgMs9w54iBCg"/>
            <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbHv444EeWgMs9w54iBCg" name="AcceptStatement@42d236e5" outgoing="_HTbHuY44EeWgMs9w54iBCg">
              <edge xmi:type="uml:ControlFlow" xmi:id="_HTbHwI44EeWgMs9w54iBCg" target="_HTbHw444EeWgMs9w54iBCg" source="_HTbHyI44EeWgMs9w54iBCg"/>
              <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbHwY44EeWgMs9w54iBCg" target="_HTbHwo44EeWgMs9w54iBCg" source="_HTbHxI44EeWgMs9w54iBCg"/>
              <node xmi:type="uml:ForkNode" xmi:id="_HTbHwo44EeWgMs9w54iBCg" name="Fork(Accept(Start).result)" incoming="_HTbHwY44EeWgMs9w54iBCg" outgoing="_HTbHuo44EeWgMs9w54iBCg _HTbHvY44EeWgMs9w54iBCg"/>
              <node xmi:type="uml:AcceptEventAction" xmi:id="_HTbHw444EeWgMs9w54iBCg" name="Accept(Start)" incoming="_HTbHwI44EeWgMs9w54iBCg">
                <result xmi:id="_HTbHxI44EeWgMs9w54iBCg" name="Accept(Start).result" outgoing="_HTbHwY44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHxY44EeWgMs9w54iBCg" value="1"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHxo44EeWgMs9w54iBCg" value="1"/>
                </result>
                <trigger xmi:id="_HTbHx444EeWgMs9w54iBCg" event="_HTcV5444EeWgMs9w54iBCg"/>
              </node>
              <node xmi:type="uml:InitialNode" xmi:id="_HTbHyI44EeWgMs9w54iBCg" name="Initial(Accept(Start))" outgoing="_HTbHwI44EeWgMs9w54iBCg"/>
            </node>
            <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbHyY44EeWgMs9w54iBCg" name="ExpressionStatement@23b6d4c6" incoming="_HTbHuY44EeWgMs9w54iBCg" outgoing="_HTbHu444EeWgMs9w54iBCg">
              <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbHyo44EeWgMs9w54iBCg" target="_HTbHzY44EeWgMs9w54iBCg" source="_HTbH1Y44EeWgMs9w54iBCg"/>
              <edge xmi:type="uml:ControlFlow" xmi:id="_HTbHy444EeWgMs9w54iBCg" target="_HTbHzI44EeWgMs9w54iBCg" source="_HTbH0444EeWgMs9w54iBCg"/>
              <node xmi:type="uml:CallBehaviorAction" xmi:id="_HTbHzI44EeWgMs9w54iBCg" name="Call(WriteLine)" incoming="_HTbHy444EeWgMs9w54iBCg">
                <argument xmi:id="_HTbHzY44EeWgMs9w54iBCg" name="Call(WriteLine).argument(value)" incoming="_HTbHyo44EeWgMs9w54iBCg">
                  <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbHzo44EeWgMs9w54iBCg" value="1"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbHz444EeWgMs9w54iBCg" value="1"/>
                </argument>
                <result xmi:id="_HTbH0I44EeWgMs9w54iBCg" name="Call(WriteLine).result(errorStatus)">
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbH0Y44EeWgMs9w54iBCg"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbH0o44EeWgMs9w54iBCg" value="1"/>
                </result>
                <behavior xmi:type="uml:Activity" href="Libraries/fUML.library.uml#BasicInputOutput-WriteLine"/>
              </node>
              <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbH0444EeWgMs9w54iBCg" name="Tuple@7f9a3103" outgoing="_HTbHy444EeWgMs9w54iBCg">
                <node xmi:type="uml:ValueSpecificationAction" xmi:id="_HTbH1I44EeWgMs9w54iBCg" name="Value(&quot;Starting A&quot;)">
                  <result xmi:id="_HTbH1Y44EeWgMs9w54iBCg" name="Value(&quot;Starting A&quot;).result" outgoing="_HTbHyo44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbH1o44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbH1444EeWgMs9w54iBCg" value="1"/>
                  </result>
                  <value xmi:type="uml:LiteralString" xmi:id="_HTbH2I44EeWgMs9w54iBCg" value="Starting A">
                    <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
                  </value>
                </node>
              </node>
            </node>
            <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbH2Y44EeWgMs9w54iBCg" name="ExpressionStatement@14356865" incoming="_HTbHu444EeWgMs9w54iBCg" outgoing="_HTbHvo44EeWgMs9w54iBCg">
              <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbH2o44EeWgMs9w54iBCg" target="_HTbH2444EeWgMs9w54iBCg" source="_HTbH4o44EeWgMs9w54iBCg"/>
              <node xmi:type="uml:ForkNode" xmi:id="_HTbH2444EeWgMs9w54iBCg" name="Fork(b)@486a2d36" incoming="_HTbH2o44EeWgMs9w54iBCg" outgoing="_HTbHvI44EeWgMs9w54iBCg"/>
              <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbH3I44EeWgMs9w54iBCg" name="RightHandSide@32be595e">
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbH3Y44EeWgMs9w54iBCg" target="_HTbH3444EeWgMs9w54iBCg" source="_HTbH5Y44EeWgMs9w54iBCg"/>
                <node xmi:type="uml:ReadStructuralFeatureAction" xmi:id="_HTbH3o44EeWgMs9w54iBCg" name="Read(b)" structuralFeature="_HTbudY44EeWgMs9w54iBCg">
                  <object xmi:id="_HTbH3444EeWgMs9w54iBCg" name="Read(b).object" incoming="_HTbH3Y44EeWgMs9w54iBCg" type="_HTbudI44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbH4I44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbH4Y44EeWgMs9w54iBCg" value="1"/>
                  </object>
                  <result xmi:id="_HTbH4o44EeWgMs9w54iBCg" name="Read(b).result" outgoing="_HTbH2o44EeWgMs9w54iBCg" type="_HTbue444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbH4444EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbH5I44EeWgMs9w54iBCg" value="1"/>
                  </result>
                </node>
                <node xmi:type="uml:ForkNode" xmi:id="_HTbH5Y44EeWgMs9w54iBCg" name="Fork(Fork(Accept(Start).result))" incoming="_HTbHuo44EeWgMs9w54iBCg" outgoing="_HTbH3Y44EeWgMs9w54iBCg"/>
              </node>
            </node>
            <node xmi:type="uml:LoopNode" xmi:id="_HTbH5o44EeWgMs9w54iBCg" name="WhileStatement@5b66ab90" incoming="_HTbHvo44EeWgMs9w54iBCg" bodyOutput="_HTbH-Y44EeWgMs9w54iBCg _HTbH_I44EeWgMs9w54iBCg" bodyPart="_HTbH9I44EeWgMs9w54iBCg" decider="_HTbH8I44EeWgMs9w54iBCg" isTestedFirst="true" test="_HTbH7o44EeWgMs9w54iBCg">
              <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbH5444EeWgMs9w54iBCg" target="_HTbH7I44EeWgMs9w54iBCg" source="_HTbt3Y44EeWgMs9w54iBCg"/>
              <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbH6I44EeWgMs9w54iBCg" target="_HTbH7Y44EeWgMs9w54iBCg" source="_HTbt4I44EeWgMs9w54iBCg"/>
              <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbH6Y44EeWgMs9w54iBCg" target="_HTbty444EeWgMs9w54iBCg" source="_HTbH7I44EeWgMs9w54iBCg"/>
              <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbH6o44EeWgMs9w54iBCg" target="_HTbtz444EeWgMs9w54iBCg" source="_HTbH7I44EeWgMs9w54iBCg"/>
              <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbH6444EeWgMs9w54iBCg" target="_HTbt1444EeWgMs9w54iBCg" source="_HTbH7Y44EeWgMs9w54iBCg"/>
              <node xmi:type="uml:ForkNode" xmi:id="_HTbH7I44EeWgMs9w54iBCg" name="Fork(WhileStatement@5b66ab90.loopVariable(b))" incoming="_HTbH5444EeWgMs9w54iBCg" outgoing="_HTbH6Y44EeWgMs9w54iBCg _HTbH6o44EeWgMs9w54iBCg"/>
              <node xmi:type="uml:ForkNode" xmi:id="_HTbH7Y44EeWgMs9w54iBCg" name="Fork(WhileStatement@5b66ab90.loopVariable(start))" incoming="_HTbH6I44EeWgMs9w54iBCg" outgoing="_HTbH6444EeWgMs9w54iBCg"/>
              <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbH7o44EeWgMs9w54iBCg" name="Condition(WhileStatement@5b66ab90)">
                <node xmi:type="uml:ValueSpecificationAction" xmi:id="_HTbH7444EeWgMs9w54iBCg" name="Value(true)">
                  <result xmi:id="_HTbH8I44EeWgMs9w54iBCg" name="Value(true).result" isOrdered="true" isUnique="false">
                    <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbH8Y44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbH8o44EeWgMs9w54iBCg" value="1"/>
                  </result>
                  <value xmi:type="uml:LiteralBoolean" xmi:id="_HTbH8444EeWgMs9w54iBCg" value="true">
                    <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
                  </value>
                </node>
              </node>
              <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbH9I44EeWgMs9w54iBCg" name="BodyPart(WhileStatement@5b66ab90)">
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbH9Y44EeWgMs9w54iBCg" target="_HTbH-Y44EeWgMs9w54iBCg" source="_HTbt0o44EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbH9o44EeWgMs9w54iBCg" target="_HTbH_I44EeWgMs9w54iBCg" source="_HTbt2o44EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ControlFlow" xmi:id="_HTbH9444EeWgMs9w54iBCg" target="_HTbIBI44EeWgMs9w54iBCg" source="_HTbH_444EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ControlFlow" xmi:id="_HTbH-I44EeWgMs9w54iBCg" target="_HTbtw444EeWgMs9w54iBCg" source="_HTbIBI44EeWgMs9w54iBCg"/>
                <structuredNodeOutput xmi:id="_HTbH-Y44EeWgMs9w54iBCg" name="b" incoming="_HTbH9Y44EeWgMs9w54iBCg" type="_HTbue444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbH-o44EeWgMs9w54iBCg"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbH-444EeWgMs9w54iBCg" value="1"/>
                </structuredNodeOutput>
                <structuredNodeOutput xmi:id="_HTbH_I44EeWgMs9w54iBCg" name="start" incoming="_HTbH9o44EeWgMs9w54iBCg" type="_HTbudI44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbH_Y44EeWgMs9w54iBCg" value="1"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbH_o44EeWgMs9w54iBCg" value="1"/>
                </structuredNodeOutput>
                <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbH_444EeWgMs9w54iBCg" name="AcceptStatement@7004e374" outgoing="_HTbH9444EeWgMs9w54iBCg">
                  <edge xmi:type="uml:ControlFlow" xmi:id="_HTbIAI44EeWgMs9w54iBCg" target="_HTbIAY44EeWgMs9w54iBCg" source="_HTbIA444EeWgMs9w54iBCg"/>
                  <node xmi:type="uml:AcceptEventAction" xmi:id="_HTbIAY44EeWgMs9w54iBCg" name="Accept(Ping)" incoming="_HTbIAI44EeWgMs9w54iBCg">
                    <trigger xmi:id="_HTbIAo44EeWgMs9w54iBCg" event="_HTcV6I44EeWgMs9w54iBCg"/>
                  </node>
                  <node xmi:type="uml:InitialNode" xmi:id="_HTbIA444EeWgMs9w54iBCg" name="Initial(Accept(Ping))" outgoing="_HTbIAI44EeWgMs9w54iBCg"/>
                </node>
                <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbIBI44EeWgMs9w54iBCg" name="ExpressionStatement@4ac18c13" incoming="_HTbH9444EeWgMs9w54iBCg" outgoing="_HTbH-I44EeWgMs9w54iBCg">
                  <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbIBY44EeWgMs9w54iBCg" target="_HTbICI44EeWgMs9w54iBCg" source="_HTbIEI44EeWgMs9w54iBCg"/>
                  <edge xmi:type="uml:ControlFlow" xmi:id="_HTbIBo44EeWgMs9w54iBCg" target="_HTbIB444EeWgMs9w54iBCg" source="_HTbIDo44EeWgMs9w54iBCg"/>
                  <node xmi:type="uml:CallBehaviorAction" xmi:id="_HTbIB444EeWgMs9w54iBCg" name="Call(WriteLine)" incoming="_HTbIBo44EeWgMs9w54iBCg">
                    <argument xmi:id="_HTbICI44EeWgMs9w54iBCg" name="Call(WriteLine).argument(value)" incoming="_HTbIBY44EeWgMs9w54iBCg">
                      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
                      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbICY44EeWgMs9w54iBCg" value="1"/>
                      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbICo44EeWgMs9w54iBCg" value="1"/>
                    </argument>
                    <result xmi:id="_HTbIC444EeWgMs9w54iBCg" name="Call(WriteLine).result(errorStatus)">
                      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbIDI44EeWgMs9w54iBCg"/>
                      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbIDY44EeWgMs9w54iBCg" value="1"/>
                    </result>
                    <behavior xmi:type="uml:Activity" href="Libraries/fUML.library.uml#BasicInputOutput-WriteLine"/>
                  </node>
                  <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbIDo44EeWgMs9w54iBCg" name="Tuple@1763bd4a" outgoing="_HTbIBo44EeWgMs9w54iBCg">
                    <node xmi:type="uml:ValueSpecificationAction" xmi:id="_HTbID444EeWgMs9w54iBCg" name="Value(&quot;Ping!&quot;)">
                      <result xmi:id="_HTbIEI44EeWgMs9w54iBCg" name="Value(&quot;Ping!&quot;).result" outgoing="_HTbIBY44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
                        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbtwI44EeWgMs9w54iBCg" value="1"/>
                        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbtwY44EeWgMs9w54iBCg" value="1"/>
                      </result>
                      <value xmi:type="uml:LiteralString" xmi:id="_HTbtwo44EeWgMs9w54iBCg" value="Ping!">
                        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
                      </value>
                    </node>
                  </node>
                </node>
                <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbtw444EeWgMs9w54iBCg" name="ExpressionStatement@41f7f7df" incoming="_HTbH-I44EeWgMs9w54iBCg">
                  <edge xmi:type="uml:ControlFlow" xmi:id="_HTbtxI44EeWgMs9w54iBCg" target="_HTbtxY44EeWgMs9w54iBCg" source="_HTbtzI44EeWgMs9w54iBCg"/>
                  <node xmi:type="uml:ExpansionRegion" xmi:id="_HTbtxY44EeWgMs9w54iBCg" name="Collect(SendSignal(Pong))" incoming="_HTbtxI44EeWgMs9w54iBCg" mode="parallel" inputElement="_HTbty444EeWgMs9w54iBCg">
                    <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbtxo44EeWgMs9w54iBCg" target="_HTbtyI44EeWgMs9w54iBCg" source="_HTbty444EeWgMs9w54iBCg"/>
                    <node xmi:type="uml:SendSignalAction" xmi:id="_HTbtx444EeWgMs9w54iBCg" name="SendSignal(Pong)" signal="_HTcV5I44EeWgMs9w54iBCg">
                      <target xmi:id="_HTbtyI44EeWgMs9w54iBCg" name="SendSignal(Pong).target" incoming="_HTbtxo44EeWgMs9w54iBCg" type="_HTbue444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbtyY44EeWgMs9w54iBCg" value="1"/>
                        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbtyo44EeWgMs9w54iBCg" value="1"/>
                      </target>
                    </node>
                  </node>
                  <node xmi:type="uml:ExpansionNode" xmi:id="_HTbty444EeWgMs9w54iBCg" name="Collect(SendSignal(Pong)).inputElement" incoming="_HTbH6Y44EeWgMs9w54iBCg" outgoing="_HTbtxo44EeWgMs9w54iBCg" regionAsInput="_HTbtxY44EeWgMs9w54iBCg"/>
                  <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbtzI44EeWgMs9w54iBCg" name="Feature(Fork(b)@486a2d36)" outgoing="_HTbtxI44EeWgMs9w54iBCg"/>
                </node>
                <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbtzY44EeWgMs9w54iBCg" name="Passthru(Fork(b)@486a2d36)">
                  <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbtzo44EeWgMs9w54iBCg" target="_HTbt0o44EeWgMs9w54iBCg" source="_HTbtz444EeWgMs9w54iBCg"/>
                  <structuredNodeInput xmi:id="_HTbtz444EeWgMs9w54iBCg" name="Passthru(Fork(b)@486a2d36).input" incoming="_HTbH6o44EeWgMs9w54iBCg" outgoing="_HTbtzo44EeWgMs9w54iBCg" type="_HTbue444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbt0I44EeWgMs9w54iBCg"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbt0Y44EeWgMs9w54iBCg" value="1"/>
                  </structuredNodeInput>
                  <structuredNodeOutput xmi:id="_HTbt0o44EeWgMs9w54iBCg" name="Passthru(Fork(b)@486a2d36).output" incoming="_HTbtzo44EeWgMs9w54iBCg" outgoing="_HTbH9Y44EeWgMs9w54iBCg" type="_HTbue444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbt0444EeWgMs9w54iBCg"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbt1I44EeWgMs9w54iBCg" value="1"/>
                  </structuredNodeOutput>
                </node>
                <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbt1Y44EeWgMs9w54iBCg" name="Passthru(Fork(Accept(Start).result))">
                  <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbt1o44EeWgMs9w54iBCg" target="_HTbt2o44EeWgMs9w54iBCg" source="_HTbt1444EeWgMs9w54iBCg"/>
                  <structuredNodeInput xmi:id="_HTbt1444EeWgMs9w54iBCg" name="Passthru(Fork(Accept(Start).result)).input" incoming="_HTbH6444EeWgMs9w54iBCg" outgoing="_HTbt1o44EeWgMs9w54iBCg" type="_HTbudI44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbt2I44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbt2Y44EeWgMs9w54iBCg" value="1"/>
                  </structuredNodeInput>
                  <structuredNodeOutput xmi:id="_HTbt2o44EeWgMs9w54iBCg" name="Passthru(Fork(Accept(Start).result)).output" incoming="_HTbt1o44EeWgMs9w54iBCg" outgoing="_HTbH9o44EeWgMs9w54iBCg" type="_HTbudI44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbt2444EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbt3I44EeWgMs9w54iBCg" value="1"/>
                  </structuredNodeOutput>
                </node>
              </node>
              <loopVariable xmi:id="_HTbt3Y44EeWgMs9w54iBCg" name="WhileStatement@5b66ab90.loopVariable(b)" outgoing="_HTbH5444EeWgMs9w54iBCg" type="_HTbue444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbt3o44EeWgMs9w54iBCg"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbt3444EeWgMs9w54iBCg" value="1"/>
              </loopVariable>
              <loopVariable xmi:id="_HTbt4I44EeWgMs9w54iBCg" name="WhileStatement@5b66ab90.loopVariable(start)" outgoing="_HTbH6I44EeWgMs9w54iBCg" type="_HTbudI44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbt4Y44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbt4o44EeWgMs9w54iBCg" value="1"/>
              </loopVariable>
              <loopVariableInput xmi:id="_HTbt4444EeWgMs9w54iBCg" name="WhileStatement@5b66ab90.loopVariableInput(b)" incoming="_HTbHvI44EeWgMs9w54iBCg" type="_HTbue444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbt5I44EeWgMs9w54iBCg"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbt5Y44EeWgMs9w54iBCg" value="1"/>
              </loopVariableInput>
              <loopVariableInput xmi:id="_HTbt5o44EeWgMs9w54iBCg" name="WhileStatement@5b66ab90.loopVariableInput(start)" incoming="_HTbHvY44EeWgMs9w54iBCg" type="_HTbudI44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbt5444EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbt6I44EeWgMs9w54iBCg" value="1"/>
              </loopVariableInput>
              <result xmi:id="_HTbt6Y44EeWgMs9w54iBCg" name="WhileStatement@5b66ab90.result(b)" type="_HTbue444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbt6o44EeWgMs9w54iBCg"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbt6444EeWgMs9w54iBCg" value="1"/>
              </result>
              <result xmi:id="_HTbt7I44EeWgMs9w54iBCg" name="WhileStatement@5b66ab90.result(start)" type="_HTbudI44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbt7Y44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbt7o44EeWgMs9w54iBCg" value="1"/>
              </result>
            </node>
          </structuredNode>
        </ownedBehavior>
        <ownedBehavior xmi:type="uml:Activity" xmi:id="_HTbt7444EeWgMs9w54iBCg" name="A$method$1" specification="_HTbub444EeWgMs9w54iBCg" node="_HTbt9I44EeWgMs9w54iBCg _HTbt9Y44EeWgMs9w54iBCg" group="_HTbt9Y44EeWgMs9w54iBCg">
          <ownedParameter xmi:id="_HTbt8I44EeWgMs9w54iBCg" name="" type="_HTbHs444EeWgMs9w54iBCg" direction="return">
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbt8Y44EeWgMs9w54iBCg" value="1"/>
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbt8o44EeWgMs9w54iBCg" value="1"/>
          </ownedParameter>
          <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbt8444EeWgMs9w54iBCg" target="_HTbt9I44EeWgMs9w54iBCg" source="_HTbuBo44EeWgMs9w54iBCg"/>
          <structuredNode xmi:id="_HTbt9Y44EeWgMs9w54iBCg" name="Body(A$method$1)">
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbt9o44EeWgMs9w54iBCg" target="_HTbuBo44EeWgMs9w54iBCg" source="_HTbuA444EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbt9444EeWgMs9w54iBCg" target="_HTbuCI44EeWgMs9w54iBCg" source="_HTbuBo44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ControlFlow" xmi:id="_HTbt-I44EeWgMs9w54iBCg" target="_HTbuAY44EeWgMs9w54iBCg" source="_HTbuB444EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbt-Y44EeWgMs9w54iBCg" target="_HTbuDI44EeWgMs9w54iBCg" source="_HTbuBo44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbt-o44EeWgMs9w54iBCg" target="_HTbuE444EeWgMs9w54iBCg" source="_HTbuD444EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbt-444EeWgMs9w54iBCg" target="_HTbuH444EeWgMs9w54iBCg" source="_HTbuFo44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbt_I44EeWgMs9w54iBCg" target="_HTbuJY44EeWgMs9w54iBCg" source="_HTbuGo44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ControlFlow" xmi:id="_HTbt_Y44EeWgMs9w54iBCg" target="_HTbuKY44EeWgMs9w54iBCg" source="_HTbuKI44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbt_o44EeWgMs9w54iBCg" target="_HTbuKY44EeWgMs9w54iBCg" source="_HTbuIo44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ControlFlow" xmi:id="_HTbt_444EeWgMs9w54iBCg" target="_HTbuB444EeWgMs9w54iBCg" source="_HTbuKY44EeWgMs9w54iBCg">
              <guard xmi:type="uml:LiteralBoolean" xmi:id="_HTbuAI44EeWgMs9w54iBCg" name="Value(true)" value="true"/>
            </edge>
            <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbuAY44EeWgMs9w54iBCg" name="Body" incoming="_HTbt-I44EeWgMs9w54iBCg"/>
            <node xmi:type="uml:ReadSelfAction" xmi:id="_HTbuAo44EeWgMs9w54iBCg" name="ReadSelf">
              <result xmi:id="_HTbuA444EeWgMs9w54iBCg" name="ReadSelf.result" outgoing="_HTbt9o44EeWgMs9w54iBCg" type="_HTbHs444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbuBI44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbuBY44EeWgMs9w54iBCg" value="1"/>
              </result>
            </node>
            <node xmi:type="uml:ForkNode" xmi:id="_HTbuBo44EeWgMs9w54iBCg" name="Fork(ReadSelf.result)" incoming="_HTbt9o44EeWgMs9w54iBCg" outgoing="_HTbt8444EeWgMs9w54iBCg _HTbt9444EeWgMs9w54iBCg _HTbt-Y44EeWgMs9w54iBCg"/>
            <node xmi:type="uml:CallOperationAction" xmi:id="_HTbuB444EeWgMs9w54iBCg" name="Call(A$initialization$1)" incoming="_HTbt_444EeWgMs9w54iBCg" outgoing="_HTbt-I44EeWgMs9w54iBCg" operation="_HTbubo44EeWgMs9w54iBCg">
              <target xmi:id="_HTbuCI44EeWgMs9w54iBCg" name="Call(A$initialization$1).target" incoming="_HTbt9444EeWgMs9w54iBCg" type="_HTbHs444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbuCY44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbuCo44EeWgMs9w54iBCg" value="1"/>
              </target>
            </node>
            <node xmi:type="uml:ReadStructuralFeatureAction" xmi:id="_HTbuC444EeWgMs9w54iBCg" name="Read(A$initializationFlag$1)" structuralFeature="_HTbHtI44EeWgMs9w54iBCg">
              <object xmi:id="_HTbuDI44EeWgMs9w54iBCg" name="Read(A$initializationFlag$1).object" incoming="_HTbt-Y44EeWgMs9w54iBCg" type="_HTbHs444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbuDY44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbuDo44EeWgMs9w54iBCg" value="1"/>
              </object>
              <result xmi:id="_HTbuD444EeWgMs9w54iBCg" name="Read(A$initializationFlag$1).result" outgoing="_HTbt-o44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbuEI44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbuEY44EeWgMs9w54iBCg" value="1"/>
              </result>
            </node>
            <node xmi:type="uml:CallBehaviorAction" xmi:id="_HTbuEo44EeWgMs9w54iBCg" name="Call(ListSize)">
              <argument xmi:id="_HTbuE444EeWgMs9w54iBCg" name="Call(ListSize).argument(list)" incoming="_HTbt-o44EeWgMs9w54iBCg">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbuFI44EeWgMs9w54iBCg"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbuFY44EeWgMs9w54iBCg" value="*"/>
              </argument>
              <result xmi:id="_HTbuFo44EeWgMs9w54iBCg" name="Call(ListSize).result(result)" outgoing="_HTbt-444EeWgMs9w54iBCg">
                <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbuF444EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbuGI44EeWgMs9w54iBCg" value="1"/>
              </result>
              <behavior xmi:type="uml:FunctionBehavior" href="Libraries/fUML.library.uml#PrimitiveBehaviors-ListFunctions-ListSize"/>
            </node>
            <node xmi:type="uml:ValueSpecificationAction" xmi:id="_HTbuGY44EeWgMs9w54iBCg" name="Value(0)">
              <result xmi:id="_HTbuGo44EeWgMs9w54iBCg" name="Value(0).result" outgoing="_HTbt_I44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbuG444EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbuHI44EeWgMs9w54iBCg" value="1"/>
              </result>
              <value xmi:type="uml:LiteralInteger" xmi:id="_HTbuHY44EeWgMs9w54iBCg">
                <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
              </value>
            </node>
            <node xmi:type="uml:TestIdentityAction" xmi:id="_HTbuHo44EeWgMs9w54iBCg" name="Test(Size==0)">
              <first xmi:id="_HTbuH444EeWgMs9w54iBCg" name="Test(Size==0).first" incoming="_HTbt-444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbuII44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbuIY44EeWgMs9w54iBCg" value="1"/>
              </first>
              <result xmi:id="_HTbuIo44EeWgMs9w54iBCg" name="Test(Size==0).result" outgoing="_HTbt_o44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbuI444EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbuJI44EeWgMs9w54iBCg" value="1"/>
              </result>
              <second xmi:id="_HTbuJY44EeWgMs9w54iBCg" name="Test(Size==0).second" incoming="_HTbt_I44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbuJo44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbuJ444EeWgMs9w54iBCg" value="1"/>
              </second>
            </node>
            <node xmi:type="uml:InitialNode" xmi:id="_HTbuKI44EeWgMs9w54iBCg" name="InitialNode" outgoing="_HTbt_Y44EeWgMs9w54iBCg"/>
            <node xmi:type="uml:DecisionNode" xmi:id="_HTbuKY44EeWgMs9w54iBCg" name="Decision(Test(A$initializationFlag$1))" incoming="_HTbt_Y44EeWgMs9w54iBCg _HTbt_o44EeWgMs9w54iBCg" outgoing="_HTbt_444EeWgMs9w54iBCg" decisionInputFlow="_HTbt_o44EeWgMs9w54iBCg"/>
          </structuredNode>
          <node xmi:type="uml:ActivityParameterNode" xmi:id="_HTbt9I44EeWgMs9w54iBCg" name="Return" incoming="_HTbt8444EeWgMs9w54iBCg" type="_HTbHs444EeWgMs9w54iBCg" parameter="_HTbt8I44EeWgMs9w54iBCg"/>
        </ownedBehavior>
        <ownedBehavior xmi:type="uml:Activity" xmi:id="_HTbuKo44EeWgMs9w54iBCg" name="destroy$method$1" specification="_HTbuc444EeWgMs9w54iBCg" node="_HTbuK444EeWgMs9w54iBCg" group="_HTbuK444EeWgMs9w54iBCg">
          <structuredNode xmi:id="_HTbuK444EeWgMs9w54iBCg" name="Body(destroy$method$1)"/>
        </ownedBehavior>
        <ownedBehavior xmi:type="uml:Activity" xmi:id="_HTbuLI44EeWgMs9w54iBCg" name="A$initialization$1" specification="_HTbubo44EeWgMs9w54iBCg" node="_HTbuLY44EeWgMs9w54iBCg" group="_HTbuLY44EeWgMs9w54iBCg">
          <structuredNode xmi:id="_HTbuLY44EeWgMs9w54iBCg" name="Body(A$initialization$1)">
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuLo44EeWgMs9w54iBCg" target="_HTbuPI44EeWgMs9w54iBCg" source="_HTbuOY44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuL444EeWgMs9w54iBCg" target="_HTbuRo44EeWgMs9w54iBCg" source="_HTbuPI44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuMI44EeWgMs9w54iBCg" target="_HTbuUI44EeWgMs9w54iBCg" source="_HTbuPI44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuMY44EeWgMs9w54iBCg" target="_HTbuV444EeWgMs9w54iBCg" source="_HTbuU444EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuMo44EeWgMs9w54iBCg" target="_HTbuY444EeWgMs9w54iBCg" source="_HTbuWo44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuM444EeWgMs9w54iBCg" target="_HTbuaY44EeWgMs9w54iBCg" source="_HTbuXo44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ControlFlow" xmi:id="_HTbuNI44EeWgMs9w54iBCg" target="_HTbubY44EeWgMs9w54iBCg" source="_HTbubI44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuNY44EeWgMs9w54iBCg" target="_HTbubY44EeWgMs9w54iBCg" source="_HTbuZo44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ControlFlow" xmi:id="_HTbuNo44EeWgMs9w54iBCg" target="_HTbuPY44EeWgMs9w54iBCg" source="_HTbubY44EeWgMs9w54iBCg">
              <guard xmi:type="uml:LiteralBoolean" xmi:id="_HTbuN444EeWgMs9w54iBCg" name="Value(true)" value="true"/>
            </edge>
            <node xmi:type="uml:ReadSelfAction" xmi:id="_HTbuOI44EeWgMs9w54iBCg" name="ReadSelf">
              <result xmi:id="_HTbuOY44EeWgMs9w54iBCg" name="ReadSelf.result" outgoing="_HTbuLo44EeWgMs9w54iBCg" type="_HTbHs444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbuOo44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbuO444EeWgMs9w54iBCg" value="1"/>
              </result>
            </node>
            <node xmi:type="uml:ForkNode" xmi:id="_HTbuPI44EeWgMs9w54iBCg" name="Fork(ReadSelf.result)" incoming="_HTbuLo44EeWgMs9w54iBCg" outgoing="_HTbuL444EeWgMs9w54iBCg _HTbuMI44EeWgMs9w54iBCg"/>
            <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbuPY44EeWgMs9w54iBCg" name="Initialization" incoming="_HTbuNo44EeWgMs9w54iBCg">
              <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbuPo44EeWgMs9w54iBCg" name="Set(initializationFlag)">
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuP444EeWgMs9w54iBCg" target="_HTbuTI44EeWgMs9w54iBCg" source="_HTbuQY44EeWgMs9w54iBCg"/>
                <node xmi:type="uml:ValueSpecificationAction" xmi:id="_HTbuQI44EeWgMs9w54iBCg" name="Value(true)">
                  <result xmi:id="_HTbuQY44EeWgMs9w54iBCg" name="Value(true).result" outgoing="_HTbuP444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbuQo44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbuQ444EeWgMs9w54iBCg" value="1"/>
                  </result>
                  <value xmi:type="uml:LiteralBoolean" xmi:id="_HTbuRI44EeWgMs9w54iBCg" value="true">
                    <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
                  </value>
                </node>
                <node xmi:type="uml:AddStructuralFeatureValueAction" xmi:id="_HTbuRY44EeWgMs9w54iBCg" name="Write(A$initializationFlag$1)" structuralFeature="_HTbHtI44EeWgMs9w54iBCg" isReplaceAll="true">
                  <object xmi:id="_HTbuRo44EeWgMs9w54iBCg" name="Write(A$initializationFlag$1).object" incoming="_HTbuL444EeWgMs9w54iBCg" type="_HTbHs444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbuR444EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbuSI44EeWgMs9w54iBCg" value="1"/>
                  </object>
                  <result xmi:id="_HTbuSY44EeWgMs9w54iBCg" name="Write(A$initializationFlag$1).result" type="_HTbHs444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbuSo44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbuS444EeWgMs9w54iBCg" value="1"/>
                  </result>
                  <value xmi:id="_HTbuTI44EeWgMs9w54iBCg" name="Write(A$initializationFlag$1).value" incoming="_HTbuP444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbuTY44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbuTo44EeWgMs9w54iBCg" value="1"/>
                  </value>
                </node>
              </node>
            </node>
            <node xmi:type="uml:ReadStructuralFeatureAction" xmi:id="_HTbuT444EeWgMs9w54iBCg" name="Read(A$initializationFlag$1)" structuralFeature="_HTbHtI44EeWgMs9w54iBCg">
              <object xmi:id="_HTbuUI44EeWgMs9w54iBCg" name="Read(A$initializationFlag$1).object" incoming="_HTbuMI44EeWgMs9w54iBCg" type="_HTbHs444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbuUY44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbuUo44EeWgMs9w54iBCg" value="1"/>
              </object>
              <result xmi:id="_HTbuU444EeWgMs9w54iBCg" name="Read(A$initializationFlag$1).result" outgoing="_HTbuMY44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbuVI44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbuVY44EeWgMs9w54iBCg" value="1"/>
              </result>
            </node>
            <node xmi:type="uml:CallBehaviorAction" xmi:id="_HTbuVo44EeWgMs9w54iBCg" name="Call(ListSize)">
              <argument xmi:id="_HTbuV444EeWgMs9w54iBCg" name="Call(ListSize).argument(list)" incoming="_HTbuMY44EeWgMs9w54iBCg">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbuWI44EeWgMs9w54iBCg"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbuWY44EeWgMs9w54iBCg" value="*"/>
              </argument>
              <result xmi:id="_HTbuWo44EeWgMs9w54iBCg" name="Call(ListSize).result(result)" outgoing="_HTbuMo44EeWgMs9w54iBCg">
                <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbuW444EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbuXI44EeWgMs9w54iBCg" value="1"/>
              </result>
              <behavior xmi:type="uml:FunctionBehavior" href="Libraries/fUML.library.uml#PrimitiveBehaviors-ListFunctions-ListSize"/>
            </node>
            <node xmi:type="uml:ValueSpecificationAction" xmi:id="_HTbuXY44EeWgMs9w54iBCg" name="Value(0)">
              <result xmi:id="_HTbuXo44EeWgMs9w54iBCg" name="Value(0).result" outgoing="_HTbuM444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbuX444EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbuYI44EeWgMs9w54iBCg" value="1"/>
              </result>
              <value xmi:type="uml:LiteralInteger" xmi:id="_HTbuYY44EeWgMs9w54iBCg">
                <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
              </value>
            </node>
            <node xmi:type="uml:TestIdentityAction" xmi:id="_HTbuYo44EeWgMs9w54iBCg" name="Test(Size==0)">
              <first xmi:id="_HTbuY444EeWgMs9w54iBCg" name="Test(Size==0).first" incoming="_HTbuMo44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbuZI44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbuZY44EeWgMs9w54iBCg" value="1"/>
              </first>
              <result xmi:id="_HTbuZo44EeWgMs9w54iBCg" name="Test(Size==0).result" outgoing="_HTbuNY44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbuZ444EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbuaI44EeWgMs9w54iBCg" value="1"/>
              </result>
              <second xmi:id="_HTbuaY44EeWgMs9w54iBCg" name="Test(Size==0).second" incoming="_HTbuM444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbuao44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbua444EeWgMs9w54iBCg" value="1"/>
              </second>
            </node>
            <node xmi:type="uml:InitialNode" xmi:id="_HTbubI44EeWgMs9w54iBCg" name="InitialNode" outgoing="_HTbuNI44EeWgMs9w54iBCg"/>
            <node xmi:type="uml:DecisionNode" xmi:id="_HTbubY44EeWgMs9w54iBCg" name="Decision(Test(A$initializationFlag$1))" incoming="_HTbuNI44EeWgMs9w54iBCg _HTbuNY44EeWgMs9w54iBCg" outgoing="_HTbuNo44EeWgMs9w54iBCg" decisionInputFlow="_HTbuNY44EeWgMs9w54iBCg"/>
          </structuredNode>
        </ownedBehavior>
        <ownedOperation xmi:id="_HTbubo44EeWgMs9w54iBCg" name="A$initialization$1" visibility="protected" method="_HTbuLI44EeWgMs9w54iBCg"/>
        <ownedOperation xmi:id="_HTbub444EeWgMs9w54iBCg" name="A" visibility="public" method="_HTbt7444EeWgMs9w54iBCg">
          <ownedParameter xmi:id="_HTbucI44EeWgMs9w54iBCg" name="" visibility="package" type="_HTbHs444EeWgMs9w54iBCg" direction="return">
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbucY44EeWgMs9w54iBCg" value="1"/>
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbuco44EeWgMs9w54iBCg" value="1"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:id="_HTbuc444EeWgMs9w54iBCg" name="destroy" visibility="public" method="_HTbuKo44EeWgMs9w54iBCg"/>
        <nestedClassifier xmi:type="uml:Signal" xmi:id="_HTbudI44EeWgMs9w54iBCg" name="Start" visibility="package">
          <ownedAttribute xmi:id="_HTbudY44EeWgMs9w54iBCg" name="b" visibility="public" type="_HTbue444EeWgMs9w54iBCg">
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbudo44EeWgMs9w54iBCg" value="1"/>
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbud444EeWgMs9w54iBCg" value="1"/>
          </ownedAttribute>
        </nestedClassifier>
        <nestedClassifier xmi:type="uml:Signal" xmi:id="_HTbueI44EeWgMs9w54iBCg" name="Ping" visibility="package"/>
        <ownedReception xmi:id="_HTbueY44EeWgMs9w54iBCg" name="Start" signal="_HTbudI44EeWgMs9w54iBCg"/>
        <ownedReception xmi:id="_HTbueo44EeWgMs9w54iBCg" name="Ping" signal="_HTbueI44EeWgMs9w54iBCg"/>
      </nestedClassifier>
      <nestedClassifier xmi:type="uml:Class" xmi:id="_HTbue444EeWgMs9w54iBCg" name="B" visibility="package" classifierBehavior="_HTbuf444EeWgMs9w54iBCg" isActive="true">
        <ownedAttribute xmi:id="_HTbufI44EeWgMs9w54iBCg" name="B$initializationFlag$1" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbufY44EeWgMs9w54iBCg" value="1"/>
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbufo44EeWgMs9w54iBCg" value="1"/>
        </ownedAttribute>
        <ownedBehavior xmi:type="uml:Activity" xmi:id="_HTbuf444EeWgMs9w54iBCg" name="B$classifierBehavior$1" visibility="private" isActive="true" node="_HTbugI44EeWgMs9w54iBCg" group="_HTbugI44EeWgMs9w54iBCg">
          <structuredNode xmi:id="_HTbugI44EeWgMs9w54iBCg" name="Body(B$classifierBehavior$1)">
            <edge xmi:type="uml:ControlFlow" xmi:id="_HTbugY44EeWgMs9w54iBCg" target="_HTbuko44EeWgMs9w54iBCg" source="_HTbuiI44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbugo44EeWgMs9w54iBCg" target="_HTburo44EeWgMs9w54iBCg" source="_HTbui444EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ControlFlow" xmi:id="_HTbug444EeWgMs9w54iBCg" target="_HTbuoo44EeWgMs9w54iBCg" source="_HTbuko44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuhI44EeWgMs9w54iBCg" target="_HTcVCI44EeWgMs9w54iBCg" source="_HTbui444EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuhY44EeWgMs9w54iBCg" target="_HTcVC444EeWgMs9w54iBCg" source="_HTbupI44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuho44EeWgMs9w54iBCg" target="_HTcVOI44EeWgMs9w54iBCg" source="_HTbui444EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ControlFlow" xmi:id="_HTbuh444EeWgMs9w54iBCg" target="_HTbur444EeWgMs9w54iBCg" source="_HTbuoo44EeWgMs9w54iBCg"/>
            <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbuiI44EeWgMs9w54iBCg" name="AcceptStatement@5a848bf0" outgoing="_HTbugY44EeWgMs9w54iBCg">
              <edge xmi:type="uml:ControlFlow" xmi:id="_HTbuiY44EeWgMs9w54iBCg" target="_HTbujI44EeWgMs9w54iBCg" source="_HTbukY44EeWgMs9w54iBCg"/>
              <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuio44EeWgMs9w54iBCg" target="_HTbui444EeWgMs9w54iBCg" source="_HTbujY44EeWgMs9w54iBCg"/>
              <node xmi:type="uml:ForkNode" xmi:id="_HTbui444EeWgMs9w54iBCg" name="Fork(Accept(Start).result)" incoming="_HTbuio44EeWgMs9w54iBCg" outgoing="_HTbugo44EeWgMs9w54iBCg _HTbuho44EeWgMs9w54iBCg _HTbuhI44EeWgMs9w54iBCg"/>
              <node xmi:type="uml:AcceptEventAction" xmi:id="_HTbujI44EeWgMs9w54iBCg" name="Accept(Start)" incoming="_HTbuiY44EeWgMs9w54iBCg">
                <result xmi:id="_HTbujY44EeWgMs9w54iBCg" name="Accept(Start).result" outgoing="_HTbuio44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbujo44EeWgMs9w54iBCg" value="1"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbuj444EeWgMs9w54iBCg" value="1"/>
                </result>
                <trigger xmi:id="_HTbukI44EeWgMs9w54iBCg" event="_HTcV6Y44EeWgMs9w54iBCg"/>
              </node>
              <node xmi:type="uml:InitialNode" xmi:id="_HTbukY44EeWgMs9w54iBCg" name="Initial(Accept(Start))" outgoing="_HTbuiY44EeWgMs9w54iBCg"/>
            </node>
            <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbuko44EeWgMs9w54iBCg" name="ExpressionStatement@b204ec3" incoming="_HTbugY44EeWgMs9w54iBCg" outgoing="_HTbug444EeWgMs9w54iBCg">
              <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuk444EeWgMs9w54iBCg" target="_HTbulo44EeWgMs9w54iBCg" source="_HTbuno44EeWgMs9w54iBCg"/>
              <edge xmi:type="uml:ControlFlow" xmi:id="_HTbulI44EeWgMs9w54iBCg" target="_HTbulY44EeWgMs9w54iBCg" source="_HTbunI44EeWgMs9w54iBCg"/>
              <node xmi:type="uml:CallBehaviorAction" xmi:id="_HTbulY44EeWgMs9w54iBCg" name="Call(WriteLine)" incoming="_HTbulI44EeWgMs9w54iBCg">
                <argument xmi:id="_HTbulo44EeWgMs9w54iBCg" name="Call(WriteLine).argument(value)" incoming="_HTbuk444EeWgMs9w54iBCg">
                  <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbul444EeWgMs9w54iBCg" value="1"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbumI44EeWgMs9w54iBCg" value="1"/>
                </argument>
                <result xmi:id="_HTbumY44EeWgMs9w54iBCg" name="Call(WriteLine).result(errorStatus)">
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbumo44EeWgMs9w54iBCg"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbum444EeWgMs9w54iBCg" value="1"/>
                </result>
                <behavior xmi:type="uml:Activity" href="Libraries/fUML.library.uml#BasicInputOutput-WriteLine"/>
              </node>
              <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbunI44EeWgMs9w54iBCg" name="Tuple@65f8e0bf" outgoing="_HTbulI44EeWgMs9w54iBCg">
                <node xmi:type="uml:ValueSpecificationAction" xmi:id="_HTbunY44EeWgMs9w54iBCg" name="Value(&quot;Starting B&quot;)">
                  <result xmi:id="_HTbuno44EeWgMs9w54iBCg" name="Value(&quot;Starting B&quot;).result" outgoing="_HTbuk444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbun444EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbuoI44EeWgMs9w54iBCg" value="1"/>
                  </result>
                  <value xmi:type="uml:LiteralString" xmi:id="_HTbuoY44EeWgMs9w54iBCg" value="Starting B">
                    <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
                  </value>
                </node>
              </node>
            </node>
            <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbuoo44EeWgMs9w54iBCg" name="ExpressionStatement@58a02257" incoming="_HTbug444EeWgMs9w54iBCg" outgoing="_HTbuh444EeWgMs9w54iBCg">
              <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuo444EeWgMs9w54iBCg" target="_HTbupI44EeWgMs9w54iBCg" source="_HTbuq444EeWgMs9w54iBCg"/>
              <node xmi:type="uml:ForkNode" xmi:id="_HTbupI44EeWgMs9w54iBCg" name="Fork(a)@5407962c" incoming="_HTbuo444EeWgMs9w54iBCg" outgoing="_HTbuhY44EeWgMs9w54iBCg"/>
              <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbupY44EeWgMs9w54iBCg" name="RightHandSide@3e144dcd">
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbupo44EeWgMs9w54iBCg" target="_HTbuqI44EeWgMs9w54iBCg" source="_HTburo44EeWgMs9w54iBCg"/>
                <node xmi:type="uml:ReadStructuralFeatureAction" xmi:id="_HTbup444EeWgMs9w54iBCg" name="Read(a)" structuralFeature="_HTcV3o44EeWgMs9w54iBCg">
                  <object xmi:id="_HTbuqI44EeWgMs9w54iBCg" name="Read(a).object" incoming="_HTbupo44EeWgMs9w54iBCg" type="_HTcV3Y44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbuqY44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbuqo44EeWgMs9w54iBCg" value="1"/>
                  </object>
                  <result xmi:id="_HTbuq444EeWgMs9w54iBCg" name="Read(a).result" outgoing="_HTbuo444EeWgMs9w54iBCg" type="_HTbHs444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTburI44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTburY44EeWgMs9w54iBCg" value="1"/>
                  </result>
                </node>
                <node xmi:type="uml:ForkNode" xmi:id="_HTburo44EeWgMs9w54iBCg" name="Fork(Fork(Accept(Start).result))" incoming="_HTbugo44EeWgMs9w54iBCg" outgoing="_HTbupo44EeWgMs9w54iBCg"/>
              </node>
            </node>
            <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbur444EeWgMs9w54iBCg" name="ForStatement@7a3600af" incoming="_HTbuh444EeWgMs9w54iBCg">
              <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbusI44EeWgMs9w54iBCg" target="_HTcVOY44EeWgMs9w54iBCg" source="_HTcVLY44EeWgMs9w54iBCg"/>
              <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbusY44EeWgMs9w54iBCg" target="_HTcVEY44EeWgMs9w54iBCg" source="_HTcVVI44EeWgMs9w54iBCg"/>
              <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuso44EeWgMs9w54iBCg" target="_HTcVFI44EeWgMs9w54iBCg" source="_HTcVUI44EeWgMs9w54iBCg"/>
              <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbus444EeWgMs9w54iBCg" target="_HTcVDo44EeWgMs9w54iBCg" source="_HTcVOY44EeWgMs9w54iBCg"/>
              <edge xmi:type="uml:ControlFlow" xmi:id="_HTbutI44EeWgMs9w54iBCg" target="_HTbutY44EeWgMs9w54iBCg" source="_HTcVJo44EeWgMs9w54iBCg"/>
              <node xmi:type="uml:LoopNode" xmi:id="_HTbutY44EeWgMs9w54iBCg" name="Loop(ForStatement@7a3600af)" incoming="_HTbutI44EeWgMs9w54iBCg" bodyOutput="_HTbu3Y44EeWgMs9w54iBCg _HTbu4I44EeWgMs9w54iBCg _HTcU8Y44EeWgMs9w54iBCg _HTcU2o44EeWgMs9w54iBCg _HTcU5444EeWgMs9w54iBCg" bodyPart="_HTbu1Y44EeWgMs9w54iBCg _HTbu1o44EeWgMs9w54iBCg _HTcU6o44EeWgMs9w54iBCg _HTcU9I44EeWgMs9w54iBCg" decider="_HTbu0o44EeWgMs9w54iBCg" isTestedFirst="true" test="_HTbuy444EeWgMs9w54iBCg">
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuto44EeWgMs9w54iBCg" target="_HTbuxo44EeWgMs9w54iBCg" source="_HTcU-Y44EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbut444EeWgMs9w54iBCg" target="_HTbux444EeWgMs9w54iBCg" source="_HTcU_I44EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuuI44EeWgMs9w54iBCg" target="_HTbuyI44EeWgMs9w54iBCg" source="_HTcU_444EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuuY44EeWgMs9w54iBCg" target="_HTbuyY44EeWgMs9w54iBCg" source="_HTcVAo44EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuuo44EeWgMs9w54iBCg" target="_HTbuyo44EeWgMs9w54iBCg" source="_HTcVBY44EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuu444EeWgMs9w54iBCg" target="_HTbuzI44EeWgMs9w54iBCg" source="_HTbuyY44EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuvI44EeWgMs9w54iBCg" target="_HTbuz444EeWgMs9w54iBCg" source="_HTbuyo44EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ControlFlow" xmi:id="_HTbuvY44EeWgMs9w54iBCg" target="_HTbu1o44EeWgMs9w54iBCg" source="_HTbu1Y44EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuvo44EeWgMs9w54iBCg" target="_HTbu9o44EeWgMs9w54iBCg" source="_HTbuyI44EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuv444EeWgMs9w54iBCg" target="_HTcU6444EeWgMs9w54iBCg" source="_HTbuyI44EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuwI44EeWgMs9w54iBCg" target="_HTcU7o44EeWgMs9w54iBCg" source="_HTcU9Y44EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuwY44EeWgMs9w54iBCg" target="_HTcU1I44EeWgMs9w54iBCg" source="_HTbuyY44EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuwo44EeWgMs9w54iBCg" target="_HTcU5I44EeWgMs9w54iBCg" source="_HTbuyo44EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuw444EeWgMs9w54iBCg" target="_HTbvDo44EeWgMs9w54iBCg" source="_HTbux444EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuxI44EeWgMs9w54iBCg" target="_HTbvJ444EeWgMs9w54iBCg" source="_HTbuxo44EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbuxY44EeWgMs9w54iBCg" target="_HTbvL444EeWgMs9w54iBCg" source="_HTbux444EeWgMs9w54iBCg"/>
                <node xmi:type="uml:ForkNode" xmi:id="_HTbuxo44EeWgMs9w54iBCg" name="Fork(ForStatement@7a3600af.loopVariable(start))" incoming="_HTbuto44EeWgMs9w54iBCg" outgoing="_HTbuxI44EeWgMs9w54iBCg"/>
                <node xmi:type="uml:ForkNode" xmi:id="_HTbux444EeWgMs9w54iBCg" name="Fork(ForStatement@7a3600af.loopVariable(a))" incoming="_HTbut444EeWgMs9w54iBCg" outgoing="_HTbuw444EeWgMs9w54iBCg _HTbuxY44EeWgMs9w54iBCg"/>
                <node xmi:type="uml:ForkNode" xmi:id="_HTbuyI44EeWgMs9w54iBCg" name="Fork(ForStatement@7a3600af.loopVariable(i))" incoming="_HTbuuI44EeWgMs9w54iBCg" outgoing="_HTbuvo44EeWgMs9w54iBCg _HTbuv444EeWgMs9w54iBCg"/>
                <node xmi:type="uml:ForkNode" xmi:id="_HTbuyY44EeWgMs9w54iBCg" name="Fork(ForStatement@7a3600af.loopVariable(counter))" incoming="_HTbuuY44EeWgMs9w54iBCg" outgoing="_HTbuu444EeWgMs9w54iBCg _HTbuwY44EeWgMs9w54iBCg"/>
                <node xmi:type="uml:ForkNode" xmi:id="_HTbuyo44EeWgMs9w54iBCg" name="Fork(ForStatement@7a3600af.loopVariable(upper))" incoming="_HTbuuo44EeWgMs9w54iBCg" outgoing="_HTbuvI44EeWgMs9w54iBCg _HTbuwo44EeWgMs9w54iBCg"/>
                <node xmi:type="uml:CallBehaviorAction" xmi:id="_HTbuy444EeWgMs9w54iBCg" name="Call(&lt;=)">
                  <argument xmi:id="_HTbuzI44EeWgMs9w54iBCg" name="Call(&lt;=).argument(x)" incoming="_HTbuu444EeWgMs9w54iBCg">
                    <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbuzY44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbuzo44EeWgMs9w54iBCg" value="1"/>
                  </argument>
                  <argument xmi:id="_HTbuz444EeWgMs9w54iBCg" name="Call(&lt;=).argument(y)" incoming="_HTbuvI44EeWgMs9w54iBCg">
                    <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbu0I44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbu0Y44EeWgMs9w54iBCg" value="1"/>
                  </argument>
                  <result xmi:id="_HTbu0o44EeWgMs9w54iBCg" name="Call(&lt;=).result(result)">
                    <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbu0444EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbu1I44EeWgMs9w54iBCg" value="1"/>
                  </result>
                  <behavior xmi:type="uml:FunctionBehavior" href="Libraries/fUML.library.uml#PrimitiveBehaviors-IntegerFunctions-le"/>
                </node>
                <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbu1Y44EeWgMs9w54iBCg" name="Values(ForStatement@7a3600af)" outgoing="_HTbuvY44EeWgMs9w54iBCg"/>
                <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbu1o44EeWgMs9w54iBCg" name="Body(ForStatement@7a3600af)" incoming="_HTbuvY44EeWgMs9w54iBCg">
                  <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbu1444EeWgMs9w54iBCg" target="_HTbu3Y44EeWgMs9w54iBCg" source="_HTbvKo44EeWgMs9w54iBCg"/>
                  <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbu2I44EeWgMs9w54iBCg" target="_HTbu4I44EeWgMs9w54iBCg" source="_HTcU0I44EeWgMs9w54iBCg"/>
                  <edge xmi:type="uml:ControlFlow" xmi:id="_HTbu2Y44EeWgMs9w54iBCg" target="_HTbvBo44EeWgMs9w54iBCg" source="_HTbu4444EeWgMs9w54iBCg"/>
                  <edge xmi:type="uml:ControlFlow" xmi:id="_HTbu2o44EeWgMs9w54iBCg" target="_HTbvEI44EeWgMs9w54iBCg" source="_HTbvBo44EeWgMs9w54iBCg"/>
                  <edge xmi:type="uml:ControlFlow" xmi:id="_HTbu2444EeWgMs9w54iBCg" target="_HTbvFY44EeWgMs9w54iBCg" source="_HTbvEI44EeWgMs9w54iBCg"/>
                  <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbu3I44EeWgMs9w54iBCg" target="_HTcU1444EeWgMs9w54iBCg" source="_HTcU3o44EeWgMs9w54iBCg"/>
                  <structuredNodeOutput xmi:id="_HTbu3Y44EeWgMs9w54iBCg" name="start" incoming="_HTbu1444EeWgMs9w54iBCg" type="_HTcV3Y44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbu3o44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbu3444EeWgMs9w54iBCg" value="1"/>
                  </structuredNodeOutput>
                  <structuredNodeOutput xmi:id="_HTbu4I44EeWgMs9w54iBCg" name="a" incoming="_HTbu2I44EeWgMs9w54iBCg" type="_HTbHs444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbu4Y44EeWgMs9w54iBCg"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbu4o44EeWgMs9w54iBCg" value="1"/>
                  </structuredNodeOutput>
                  <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbu4444EeWgMs9w54iBCg" name="ExpressionStatement@6fce7614" outgoing="_HTbu2Y44EeWgMs9w54iBCg">
                    <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbu5I44EeWgMs9w54iBCg" target="_HTbu5444EeWgMs9w54iBCg" source="_HTbvA444EeWgMs9w54iBCg"/>
                    <edge xmi:type="uml:ControlFlow" xmi:id="_HTbu5Y44EeWgMs9w54iBCg" target="_HTbu5o44EeWgMs9w54iBCg" source="_HTbu7Y44EeWgMs9w54iBCg"/>
                    <node xmi:type="uml:CallBehaviorAction" xmi:id="_HTbu5o44EeWgMs9w54iBCg" name="Call(WriteLine)" incoming="_HTbu5Y44EeWgMs9w54iBCg">
                      <argument xmi:id="_HTbu5444EeWgMs9w54iBCg" name="Call(WriteLine).argument(value)" incoming="_HTbu5I44EeWgMs9w54iBCg">
                        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
                        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbu6I44EeWgMs9w54iBCg" value="1"/>
                        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbu6Y44EeWgMs9w54iBCg" value="1"/>
                      </argument>
                      <result xmi:id="_HTbu6o44EeWgMs9w54iBCg" name="Call(WriteLine).result(errorStatus)">
                        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbu6444EeWgMs9w54iBCg"/>
                        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbu7I44EeWgMs9w54iBCg" value="1"/>
                      </result>
                      <behavior xmi:type="uml:Activity" href="Libraries/fUML.library.uml#BasicInputOutput-WriteLine"/>
                    </node>
                    <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbu7Y44EeWgMs9w54iBCg" name="Tuple@877b14f" outgoing="_HTbu5Y44EeWgMs9w54iBCg">
                      <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbu7o44EeWgMs9w54iBCg" target="_HTbu_Y44EeWgMs9w54iBCg" source="_HTbu8Y44EeWgMs9w54iBCg"/>
                      <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbu7444EeWgMs9w54iBCg" target="_HTbvAI44EeWgMs9w54iBCg" source="_HTbu-Y44EeWgMs9w54iBCg"/>
                      <node xmi:type="uml:ValueSpecificationAction" xmi:id="_HTbu8I44EeWgMs9w54iBCg" name="Value(&quot;i = &quot;)">
                        <result xmi:id="_HTbu8Y44EeWgMs9w54iBCg" name="Value(&quot;i = &quot;).result" outgoing="_HTbu7o44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
                          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbu8o44EeWgMs9w54iBCg" value="1"/>
                          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbu8444EeWgMs9w54iBCg" value="1"/>
                        </result>
                        <value xmi:type="uml:LiteralString" xmi:id="_HTbu9I44EeWgMs9w54iBCg" value="i = ">
                          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
                        </value>
                      </node>
                      <node xmi:type="uml:CallBehaviorAction" xmi:id="_HTbu9Y44EeWgMs9w54iBCg" name="Call(ToString)">
                        <argument xmi:id="_HTbu9o44EeWgMs9w54iBCg" name="Call(ToString).argument(x)" incoming="_HTbuvo44EeWgMs9w54iBCg">
                          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbu9444EeWgMs9w54iBCg" value="1"/>
                          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbu-I44EeWgMs9w54iBCg" value="1"/>
                        </argument>
                        <result xmi:id="_HTbu-Y44EeWgMs9w54iBCg" name="Call(ToString).result(result)" outgoing="_HTbu7444EeWgMs9w54iBCg">
                          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
                          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbu-o44EeWgMs9w54iBCg" value="1"/>
                          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbu-444EeWgMs9w54iBCg" value="1"/>
                        </result>
                        <behavior xmi:type="uml:FunctionBehavior" href="Libraries/fUML.library.uml#PrimitiveBehaviors-IntegerFunctions-ToString"/>
                      </node>
                      <node xmi:type="uml:CallBehaviorAction" xmi:id="_HTbu_I44EeWgMs9w54iBCg" name="Call(Concat)">
                        <argument xmi:id="_HTbu_Y44EeWgMs9w54iBCg" name="Call(Concat).argument(x)" incoming="_HTbu7o44EeWgMs9w54iBCg">
                          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
                          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbu_o44EeWgMs9w54iBCg" value="1"/>
                          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbu_444EeWgMs9w54iBCg" value="1"/>
                        </argument>
                        <argument xmi:id="_HTbvAI44EeWgMs9w54iBCg" name="Call(Concat).argument(y)" incoming="_HTbu7444EeWgMs9w54iBCg">
                          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
                          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbvAY44EeWgMs9w54iBCg" value="1"/>
                          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbvAo44EeWgMs9w54iBCg" value="1"/>
                        </argument>
                        <result xmi:id="_HTbvA444EeWgMs9w54iBCg" name="Call(Concat).result(result)" outgoing="_HTbu5I44EeWgMs9w54iBCg">
                          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
                          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbvBI44EeWgMs9w54iBCg" value="1"/>
                          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbvBY44EeWgMs9w54iBCg" value="1"/>
                        </result>
                        <behavior xmi:type="uml:FunctionBehavior" href="Libraries/fUML.library.uml#PrimitiveBehaviors-StringFunctions-Concat"/>
                      </node>
                    </node>
                  </node>
                  <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbvBo44EeWgMs9w54iBCg" name="ExpressionStatement@e9e6a29" incoming="_HTbu2Y44EeWgMs9w54iBCg" outgoing="_HTbu2o44EeWgMs9w54iBCg">
                    <edge xmi:type="uml:ControlFlow" xmi:id="_HTbvB444EeWgMs9w54iBCg" target="_HTbvCI44EeWgMs9w54iBCg" source="_HTbvD444EeWgMs9w54iBCg"/>
                    <node xmi:type="uml:ExpansionRegion" xmi:id="_HTbvCI44EeWgMs9w54iBCg" name="Collect(SendSignal(Ping))" incoming="_HTbvB444EeWgMs9w54iBCg" mode="parallel" inputElement="_HTbvDo44EeWgMs9w54iBCg">
                      <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbvCY44EeWgMs9w54iBCg" target="_HTbvC444EeWgMs9w54iBCg" source="_HTbvDo44EeWgMs9w54iBCg"/>
                      <node xmi:type="uml:SendSignalAction" xmi:id="_HTbvCo44EeWgMs9w54iBCg" name="SendSignal(Ping)" signal="_HTbueI44EeWgMs9w54iBCg">
                        <target xmi:id="_HTbvC444EeWgMs9w54iBCg" name="SendSignal(Ping).target" incoming="_HTbvCY44EeWgMs9w54iBCg" type="_HTbHs444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbvDI44EeWgMs9w54iBCg" value="1"/>
                          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbvDY44EeWgMs9w54iBCg" value="1"/>
                        </target>
                      </node>
                    </node>
                    <node xmi:type="uml:ExpansionNode" xmi:id="_HTbvDo44EeWgMs9w54iBCg" name="Collect(SendSignal(Ping)).inputElement" incoming="_HTbuw444EeWgMs9w54iBCg" outgoing="_HTbvCY44EeWgMs9w54iBCg" regionAsInput="_HTbvCI44EeWgMs9w54iBCg"/>
                    <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbvD444EeWgMs9w54iBCg" name="Feature(Fork(a)@5407962c)" outgoing="_HTbvB444EeWgMs9w54iBCg"/>
                  </node>
                  <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbvEI44EeWgMs9w54iBCg" name="AcceptStatement@7e3c947c" incoming="_HTbu2o44EeWgMs9w54iBCg" outgoing="_HTbu2444EeWgMs9w54iBCg">
                    <edge xmi:type="uml:ControlFlow" xmi:id="_HTbvEY44EeWgMs9w54iBCg" target="_HTbvEo44EeWgMs9w54iBCg" source="_HTbvFI44EeWgMs9w54iBCg"/>
                    <node xmi:type="uml:AcceptEventAction" xmi:id="_HTbvEo44EeWgMs9w54iBCg" name="Accept(Pong)" incoming="_HTbvEY44EeWgMs9w54iBCg">
                      <trigger xmi:id="_HTbvE444EeWgMs9w54iBCg" event="_HTcV6o44EeWgMs9w54iBCg"/>
                    </node>
                    <node xmi:type="uml:InitialNode" xmi:id="_HTbvFI44EeWgMs9w54iBCg" name="Initial(Accept(Pong))" outgoing="_HTbvEY44EeWgMs9w54iBCg"/>
                  </node>
                  <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbvFY44EeWgMs9w54iBCg" name="ExpressionStatement@5c519bf6" incoming="_HTbu2444EeWgMs9w54iBCg">
                    <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbvFo44EeWgMs9w54iBCg" target="_HTbvGY44EeWgMs9w54iBCg" source="_HTbvIY44EeWgMs9w54iBCg"/>
                    <edge xmi:type="uml:ControlFlow" xmi:id="_HTbvF444EeWgMs9w54iBCg" target="_HTbvGI44EeWgMs9w54iBCg" source="_HTbvH444EeWgMs9w54iBCg"/>
                    <node xmi:type="uml:CallBehaviorAction" xmi:id="_HTbvGI44EeWgMs9w54iBCg" name="Call(WriteLine)" incoming="_HTbvF444EeWgMs9w54iBCg">
                      <argument xmi:id="_HTbvGY44EeWgMs9w54iBCg" name="Call(WriteLine).argument(value)" incoming="_HTbvFo44EeWgMs9w54iBCg">
                        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
                        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbvGo44EeWgMs9w54iBCg" value="1"/>
                        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbvG444EeWgMs9w54iBCg" value="1"/>
                      </argument>
                      <result xmi:id="_HTbvHI44EeWgMs9w54iBCg" name="Call(WriteLine).result(errorStatus)">
                        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbvHY44EeWgMs9w54iBCg"/>
                        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbvHo44EeWgMs9w54iBCg" value="1"/>
                      </result>
                      <behavior xmi:type="uml:Activity" href="Libraries/fUML.library.uml#BasicInputOutput-WriteLine"/>
                    </node>
                    <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbvH444EeWgMs9w54iBCg" name="Tuple@659a33d9" outgoing="_HTbvF444EeWgMs9w54iBCg">
                      <node xmi:type="uml:ValueSpecificationAction" xmi:id="_HTbvII44EeWgMs9w54iBCg" name="Value(&quot;Pong!&quot;)">
                        <result xmi:id="_HTbvIY44EeWgMs9w54iBCg" name="Value(&quot;Pong!&quot;).result" outgoing="_HTbvFo44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
                          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbvIo44EeWgMs9w54iBCg" value="1"/>
                          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbvI444EeWgMs9w54iBCg" value="1"/>
                        </result>
                        <value xmi:type="uml:LiteralString" xmi:id="_HTbvJI44EeWgMs9w54iBCg" value="Pong!">
                          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
                        </value>
                      </node>
                    </node>
                  </node>
                  <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbvJY44EeWgMs9w54iBCg" name="Passthru(Fork(Accept(Start).result))">
                    <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbvJo44EeWgMs9w54iBCg" target="_HTbvKo44EeWgMs9w54iBCg" source="_HTbvJ444EeWgMs9w54iBCg"/>
                    <structuredNodeInput xmi:id="_HTbvJ444EeWgMs9w54iBCg" name="Passthru(Fork(Accept(Start).result)).input" incoming="_HTbuxI44EeWgMs9w54iBCg" outgoing="_HTbvJo44EeWgMs9w54iBCg" type="_HTcV3Y44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbvKI44EeWgMs9w54iBCg" value="1"/>
                      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbvKY44EeWgMs9w54iBCg" value="1"/>
                    </structuredNodeInput>
                    <structuredNodeOutput xmi:id="_HTbvKo44EeWgMs9w54iBCg" name="Passthru(Fork(Accept(Start).result)).output" incoming="_HTbvJo44EeWgMs9w54iBCg" outgoing="_HTbu1444EeWgMs9w54iBCg" type="_HTcV3Y44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbvK444EeWgMs9w54iBCg" value="1"/>
                      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbvLI44EeWgMs9w54iBCg" value="1"/>
                    </structuredNodeOutput>
                  </node>
                  <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTbvLY44EeWgMs9w54iBCg" name="Passthru(Fork(a)@5407962c)">
                    <edge xmi:type="uml:ObjectFlow" xmi:id="_HTbvLo44EeWgMs9w54iBCg" target="_HTcU0I44EeWgMs9w54iBCg" source="_HTbvL444EeWgMs9w54iBCg"/>
                    <structuredNodeInput xmi:id="_HTbvL444EeWgMs9w54iBCg" name="Passthru(Fork(a)@5407962c).input" incoming="_HTbuxY44EeWgMs9w54iBCg" outgoing="_HTbvLo44EeWgMs9w54iBCg" type="_HTbHs444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTbvMI44EeWgMs9w54iBCg"/>
                      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTbvMY44EeWgMs9w54iBCg" value="1"/>
                    </structuredNodeInput>
                    <structuredNodeOutput xmi:id="_HTcU0I44EeWgMs9w54iBCg" name="Passthru(Fork(a)@5407962c).output" incoming="_HTbvLo44EeWgMs9w54iBCg" outgoing="_HTbu2I44EeWgMs9w54iBCg" type="_HTbHs444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcU0Y44EeWgMs9w54iBCg"/>
                      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcU0o44EeWgMs9w54iBCg" value="1"/>
                    </structuredNodeOutput>
                  </node>
                  <node xmi:type="uml:CallBehaviorAction" xmi:id="_HTcU0444EeWgMs9w54iBCg" name="Call(+)">
                    <argument xmi:id="_HTcU1I44EeWgMs9w54iBCg" name="Call(+).argument(x)" incoming="_HTbuwY44EeWgMs9w54iBCg">
                      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcU1Y44EeWgMs9w54iBCg" value="1"/>
                      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcU1o44EeWgMs9w54iBCg" value="1"/>
                    </argument>
                    <argument xmi:id="_HTcU1444EeWgMs9w54iBCg" name="Call(+).argument(y)" incoming="_HTbu3I44EeWgMs9w54iBCg">
                      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcU2I44EeWgMs9w54iBCg" value="1"/>
                      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcU2Y44EeWgMs9w54iBCg" value="1"/>
                    </argument>
                    <result xmi:id="_HTcU2o44EeWgMs9w54iBCg" name="Call(+).result(result)">
                      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcU2444EeWgMs9w54iBCg" value="1"/>
                      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcU3I44EeWgMs9w54iBCg" value="1"/>
                    </result>
                    <behavior xmi:type="uml:FunctionBehavior" href="Libraries/fUML.library.uml#PrimitiveBehaviors-IntegerFunctions-plus"/>
                  </node>
                  <node xmi:type="uml:ValueSpecificationAction" xmi:id="_HTcU3Y44EeWgMs9w54iBCg" name="Value(1)">
                    <result xmi:id="_HTcU3o44EeWgMs9w54iBCg" name="Value(1).result" outgoing="_HTbu3I44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                      <type xmi:type="uml:PrimitiveType" href="Libraries/Alf.library.uml#Alf-Library-PrimitiveTypes-Natural"/>
                      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcU3444EeWgMs9w54iBCg" value="1"/>
                      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcU4I44EeWgMs9w54iBCg" value="1"/>
                    </result>
                    <value xmi:type="uml:LiteralInteger" xmi:id="_HTcU4Y44EeWgMs9w54iBCg" value="1">
                      <type xmi:type="uml:PrimitiveType" href="Libraries/Alf.library.uml#Alf-Library-PrimitiveTypes-Natural"/>
                    </value>
                  </node>
                  <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTcU4o44EeWgMs9w54iBCg" name="Passthru(upper)">
                    <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcU4444EeWgMs9w54iBCg" target="_HTcU5444EeWgMs9w54iBCg" source="_HTcU5I44EeWgMs9w54iBCg"/>
                    <structuredNodeInput xmi:id="_HTcU5I44EeWgMs9w54iBCg" name="Passthru(upper).input" incoming="_HTbuwo44EeWgMs9w54iBCg" outgoing="_HTcU4444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcU5Y44EeWgMs9w54iBCg" value="1"/>
                      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcU5o44EeWgMs9w54iBCg" value="1"/>
                    </structuredNodeInput>
                    <structuredNodeOutput xmi:id="_HTcU5444EeWgMs9w54iBCg" name="Passthru(upper).output" incoming="_HTcU4444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcU6I44EeWgMs9w54iBCg" value="1"/>
                      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcU6Y44EeWgMs9w54iBCg" value="1"/>
                    </structuredNodeOutput>
                  </node>
                </node>
                <node xmi:type="uml:CallBehaviorAction" xmi:id="_HTcU6o44EeWgMs9w54iBCg" name="Call(+)">
                  <argument xmi:id="_HTcU6444EeWgMs9w54iBCg" name="Call(+).argument(x)" incoming="_HTbuv444EeWgMs9w54iBCg">
                    <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcU7I44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcU7Y44EeWgMs9w54iBCg" value="1"/>
                  </argument>
                  <argument xmi:id="_HTcU7o44EeWgMs9w54iBCg" name="Call(+).argument(y)" incoming="_HTbuwI44EeWgMs9w54iBCg">
                    <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcU7444EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcU8I44EeWgMs9w54iBCg" value="1"/>
                  </argument>
                  <result xmi:id="_HTcU8Y44EeWgMs9w54iBCg" name="Call(+).result(result)">
                    <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcU8o44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcU8444EeWgMs9w54iBCg" value="1"/>
                  </result>
                  <behavior xmi:type="uml:FunctionBehavior" href="Libraries/fUML.library.uml#PrimitiveBehaviors-IntegerFunctions-plus"/>
                </node>
                <node xmi:type="uml:ValueSpecificationAction" xmi:id="_HTcU9I44EeWgMs9w54iBCg" name="Value(1)">
                  <result xmi:id="_HTcU9Y44EeWgMs9w54iBCg" name="Value(1).result" outgoing="_HTbuwI44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <type xmi:type="uml:PrimitiveType" href="Libraries/Alf.library.uml#Alf-Library-PrimitiveTypes-Natural"/>
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcU9o44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcU9444EeWgMs9w54iBCg" value="1"/>
                  </result>
                  <value xmi:type="uml:LiteralInteger" xmi:id="_HTcU-I44EeWgMs9w54iBCg" value="1">
                    <type xmi:type="uml:PrimitiveType" href="Libraries/Alf.library.uml#Alf-Library-PrimitiveTypes-Natural"/>
                  </value>
                </node>
                <loopVariable xmi:id="_HTcU-Y44EeWgMs9w54iBCg" name="ForStatement@7a3600af.loopVariable(start)" outgoing="_HTbuto44EeWgMs9w54iBCg" type="_HTcV3Y44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcU-o44EeWgMs9w54iBCg" value="1"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcU-444EeWgMs9w54iBCg" value="1"/>
                </loopVariable>
                <loopVariable xmi:id="_HTcU_I44EeWgMs9w54iBCg" name="ForStatement@7a3600af.loopVariable(a)" outgoing="_HTbut444EeWgMs9w54iBCg" type="_HTbHs444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcU_Y44EeWgMs9w54iBCg"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcU_o44EeWgMs9w54iBCg" value="1"/>
                </loopVariable>
                <loopVariable xmi:id="_HTcU_444EeWgMs9w54iBCg" name="ForStatement@7a3600af.loopVariable(i)" outgoing="_HTbuuI44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <type xmi:type="uml:PrimitiveType" href="Libraries/Alf.library.uml#Alf-Library-PrimitiveTypes-Natural"/>
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVAI44EeWgMs9w54iBCg"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVAY44EeWgMs9w54iBCg" value="*"/>
                </loopVariable>
                <loopVariable xmi:id="_HTcVAo44EeWgMs9w54iBCg" name="ForStatement@7a3600af.loopVariable(counter)" outgoing="_HTbuuY44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVA444EeWgMs9w54iBCg" value="1"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVBI44EeWgMs9w54iBCg" value="1"/>
                </loopVariable>
                <loopVariable xmi:id="_HTcVBY44EeWgMs9w54iBCg" name="ForStatement@7a3600af.loopVariable(upper)" outgoing="_HTbuuo44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVBo44EeWgMs9w54iBCg" value="1"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVB444EeWgMs9w54iBCg" value="1"/>
                </loopVariable>
                <loopVariableInput xmi:id="_HTcVCI44EeWgMs9w54iBCg" name="ForStatement@7a3600af.loopVariableInput(start)" incoming="_HTbuhI44EeWgMs9w54iBCg" type="_HTcV3Y44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVCY44EeWgMs9w54iBCg" value="1"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVCo44EeWgMs9w54iBCg" value="1"/>
                </loopVariableInput>
                <loopVariableInput xmi:id="_HTcVC444EeWgMs9w54iBCg" name="ForStatement@7a3600af.loopVariableInput(a)" incoming="_HTbuhY44EeWgMs9w54iBCg" type="_HTbHs444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVDI44EeWgMs9w54iBCg"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVDY44EeWgMs9w54iBCg" value="1"/>
                </loopVariableInput>
                <loopVariableInput xmi:id="_HTcVDo44EeWgMs9w54iBCg" name="ForStatement@7a3600af.loopVariableInput(i)" incoming="_HTbus444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <type xmi:type="uml:PrimitiveType" href="Libraries/Alf.library.uml#Alf-Library-PrimitiveTypes-Natural"/>
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVD444EeWgMs9w54iBCg" value="1"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVEI44EeWgMs9w54iBCg" value="1"/>
                </loopVariableInput>
                <loopVariableInput xmi:id="_HTcVEY44EeWgMs9w54iBCg" name="ForStatement@7a3600af.loopVariableInput(counter)" incoming="_HTbusY44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVEo44EeWgMs9w54iBCg" value="1"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVE444EeWgMs9w54iBCg" value="1"/>
                </loopVariableInput>
                <loopVariableInput xmi:id="_HTcVFI44EeWgMs9w54iBCg" name="ForStatement@7a3600af.loopVariableInput(upper)" incoming="_HTbuso44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVFY44EeWgMs9w54iBCg" value="1"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVFo44EeWgMs9w54iBCg" value="1"/>
                </loopVariableInput>
                <result xmi:id="_HTcVF444EeWgMs9w54iBCg" name="ForStatement@7a3600af.result(start)" type="_HTcV3Y44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVGI44EeWgMs9w54iBCg" value="1"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVGY44EeWgMs9w54iBCg" value="1"/>
                </result>
                <result xmi:id="_HTcVGo44EeWgMs9w54iBCg" name="ForStatement@7a3600af.result(a)" type="_HTbHs444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVG444EeWgMs9w54iBCg"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVHI44EeWgMs9w54iBCg" value="1"/>
                </result>
                <result xmi:id="_HTcVHY44EeWgMs9w54iBCg" name="ForStatement@7a3600af.result(i)" isOrdered="true" isUnique="false">
                  <type xmi:type="uml:PrimitiveType" href="Libraries/Alf.library.uml#Alf-Library-PrimitiveTypes-Natural"/>
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVHo44EeWgMs9w54iBCg"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVH444EeWgMs9w54iBCg" value="*"/>
                </result>
                <result xmi:id="_HTcVII44EeWgMs9w54iBCg" name="ForStatement@7a3600af.result(counter)" isOrdered="true" isUnique="false">
                  <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVIY44EeWgMs9w54iBCg" value="1"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVIo44EeWgMs9w54iBCg" value="1"/>
                </result>
                <result xmi:id="_HTcVI444EeWgMs9w54iBCg" name="ForStatement@7a3600af.result(upper)" isOrdered="true" isUnique="false">
                  <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVJI44EeWgMs9w54iBCg" value="1"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVJY44EeWgMs9w54iBCg" value="1"/>
                </result>
              </node>
              <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTcVJo44EeWgMs9w54iBCg" name="LoopVariables(ForStatement@7a3600af)" outgoing="_HTbutI44EeWgMs9w54iBCg">
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcVJ444EeWgMs9w54iBCg" target="_HTcVMo44EeWgMs9w54iBCg" source="_HTcVOI44EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcVKI44EeWgMs9w54iBCg" target="_HTcVO444EeWgMs9w54iBCg" source="_HTcVNY44EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcVKY44EeWgMs9w54iBCg" target="_HTcVPo44EeWgMs9w54iBCg" source="_HTcVOY44EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcVKo44EeWgMs9w54iBCg" target="_HTcVSo44EeWgMs9w54iBCg" source="_HTcVQY44EeWgMs9w54iBCg"/>
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcVK444EeWgMs9w54iBCg" target="_HTcVTY44EeWgMs9w54iBCg" source="_HTcVRY44EeWgMs9w54iBCg"/>
                <node xmi:type="uml:ValueSpecificationAction" xmi:id="_HTcVLI44EeWgMs9w54iBCg" name="Value(1)">
                  <result xmi:id="_HTcVLY44EeWgMs9w54iBCg" name="Value(1).result" outgoing="_HTbusI44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <type xmi:type="uml:PrimitiveType" href="Libraries/Alf.library.uml#Alf-Library-PrimitiveTypes-Natural"/>
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVLo44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVL444EeWgMs9w54iBCg" value="1"/>
                  </result>
                  <value xmi:type="uml:LiteralInteger" xmi:id="_HTcVMI44EeWgMs9w54iBCg" value="1">
                    <type xmi:type="uml:PrimitiveType" href="Libraries/Alf.library.uml#Alf-Library-PrimitiveTypes-Natural"/>
                  </value>
                </node>
                <node xmi:type="uml:ReadStructuralFeatureAction" xmi:id="_HTcVMY44EeWgMs9w54iBCg" name="Read(n)" structuralFeature="_HTcV4Y44EeWgMs9w54iBCg">
                  <object xmi:id="_HTcVMo44EeWgMs9w54iBCg" name="Read(n).object" incoming="_HTcVJ444EeWgMs9w54iBCg" type="_HTcV3Y44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVM444EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVNI44EeWgMs9w54iBCg" value="1"/>
                  </object>
                  <result xmi:id="_HTcVNY44EeWgMs9w54iBCg" name="Read(n).result" outgoing="_HTcVKI44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVNo44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVN444EeWgMs9w54iBCg" value="1"/>
                  </result>
                </node>
                <node xmi:type="uml:ForkNode" xmi:id="_HTcVOI44EeWgMs9w54iBCg" name="Fork(Fork(Accept(Start).result))" incoming="_HTbuho44EeWgMs9w54iBCg" outgoing="_HTcVJ444EeWgMs9w54iBCg"/>
                <node xmi:type="uml:ForkNode" xmi:id="_HTcVOY44EeWgMs9w54iBCg" name="Fork(Value(1).result)" incoming="_HTbusI44EeWgMs9w54iBCg" outgoing="_HTbus444EeWgMs9w54iBCg _HTcVKY44EeWgMs9w54iBCg"/>
                <node xmi:type="uml:CallBehaviorAction" xmi:id="_HTcVOo44EeWgMs9w54iBCg" name="Call(-)">
                  <argument xmi:id="_HTcVO444EeWgMs9w54iBCg" name="Call(-).argument(x)" incoming="_HTcVKI44EeWgMs9w54iBCg">
                    <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVPI44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVPY44EeWgMs9w54iBCg" value="1"/>
                  </argument>
                  <argument xmi:id="_HTcVPo44EeWgMs9w54iBCg" name="Call(-).argument(y)" incoming="_HTcVKY44EeWgMs9w54iBCg">
                    <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVP444EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVQI44EeWgMs9w54iBCg" value="1"/>
                  </argument>
                  <result xmi:id="_HTcVQY44EeWgMs9w54iBCg" name="Call(-).result(result)" outgoing="_HTcVKo44EeWgMs9w54iBCg">
                    <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVQo44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVQ444EeWgMs9w54iBCg" value="1"/>
                  </result>
                  <behavior xmi:type="uml:FunctionBehavior" href="Libraries/fUML.library.uml#PrimitiveBehaviors-IntegerFunctions-minus"/>
                </node>
                <node xmi:type="uml:ValueSpecificationAction" xmi:id="_HTcVRI44EeWgMs9w54iBCg" name="Value(1)">
                  <result xmi:id="_HTcVRY44EeWgMs9w54iBCg" name="Value(1).result" outgoing="_HTcVK444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <type xmi:type="uml:PrimitiveType" href="Libraries/Alf.library.uml#Alf-Library-PrimitiveTypes-Natural"/>
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVRo44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVR444EeWgMs9w54iBCg" value="1"/>
                  </result>
                  <value xmi:type="uml:LiteralInteger" xmi:id="_HTcVSI44EeWgMs9w54iBCg" value="1">
                    <type xmi:type="uml:PrimitiveType" href="Libraries/Alf.library.uml#Alf-Library-PrimitiveTypes-Natural"/>
                  </value>
                </node>
                <node xmi:type="uml:CallBehaviorAction" xmi:id="_HTcVSY44EeWgMs9w54iBCg" name="Call(+)">
                  <argument xmi:id="_HTcVSo44EeWgMs9w54iBCg" name="Call(+).argument(x)" incoming="_HTcVKo44EeWgMs9w54iBCg">
                    <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVS444EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVTI44EeWgMs9w54iBCg" value="1"/>
                  </argument>
                  <argument xmi:id="_HTcVTY44EeWgMs9w54iBCg" name="Call(+).argument(y)" incoming="_HTcVK444EeWgMs9w54iBCg">
                    <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVTo44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVT444EeWgMs9w54iBCg" value="1"/>
                  </argument>
                  <result xmi:id="_HTcVUI44EeWgMs9w54iBCg" name="Call(+).result(result)" outgoing="_HTbuso44EeWgMs9w54iBCg">
                    <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVUY44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVUo44EeWgMs9w54iBCg" value="1"/>
                  </result>
                  <behavior xmi:type="uml:FunctionBehavior" href="Libraries/fUML.library.uml#PrimitiveBehaviors-IntegerFunctions-plus"/>
                </node>
                <node xmi:type="uml:ValueSpecificationAction" xmi:id="_HTcVU444EeWgMs9w54iBCg" name="Value(1)">
                  <result xmi:id="_HTcVVI44EeWgMs9w54iBCg" name="Value(1).result" outgoing="_HTbusY44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <type xmi:type="uml:PrimitiveType" href="Libraries/Alf.library.uml#Alf-Library-PrimitiveTypes-Natural"/>
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVVY44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVVo44EeWgMs9w54iBCg" value="1"/>
                  </result>
                  <value xmi:type="uml:LiteralInteger" xmi:id="_HTcVV444EeWgMs9w54iBCg" value="1">
                    <type xmi:type="uml:PrimitiveType" href="Libraries/Alf.library.uml#Alf-Library-PrimitiveTypes-Natural"/>
                  </value>
                </node>
              </node>
            </node>
          </structuredNode>
        </ownedBehavior>
        <ownedBehavior xmi:type="uml:Activity" xmi:id="_HTcVWI44EeWgMs9w54iBCg" name="B$method$1" specification="_HTcV2I44EeWgMs9w54iBCg" node="_HTcVXY44EeWgMs9w54iBCg _HTcVXo44EeWgMs9w54iBCg" group="_HTcVXo44EeWgMs9w54iBCg">
          <ownedParameter xmi:id="_HTcVWY44EeWgMs9w54iBCg" name="" type="_HTbue444EeWgMs9w54iBCg" direction="return">
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVWo44EeWgMs9w54iBCg" value="1"/>
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVW444EeWgMs9w54iBCg" value="1"/>
          </ownedParameter>
          <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcVXI44EeWgMs9w54iBCg" target="_HTcVXY44EeWgMs9w54iBCg" source="_HTcVb444EeWgMs9w54iBCg"/>
          <structuredNode xmi:id="_HTcVXo44EeWgMs9w54iBCg" name="Body(B$method$1)">
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcVX444EeWgMs9w54iBCg" target="_HTcVb444EeWgMs9w54iBCg" source="_HTcVbI44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcVYI44EeWgMs9w54iBCg" target="_HTcVcY44EeWgMs9w54iBCg" source="_HTcVb444EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ControlFlow" xmi:id="_HTcVYY44EeWgMs9w54iBCg" target="_HTcVao44EeWgMs9w54iBCg" source="_HTcVcI44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcVYo44EeWgMs9w54iBCg" target="_HTcVdY44EeWgMs9w54iBCg" source="_HTcVb444EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcVY444EeWgMs9w54iBCg" target="_HTcVfI44EeWgMs9w54iBCg" source="_HTcVeI44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcVZI44EeWgMs9w54iBCg" target="_HTcViI44EeWgMs9w54iBCg" source="_HTcVf444EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcVZY44EeWgMs9w54iBCg" target="_HTcVjo44EeWgMs9w54iBCg" source="_HTcVg444EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ControlFlow" xmi:id="_HTcVZo44EeWgMs9w54iBCg" target="_HTcVko44EeWgMs9w54iBCg" source="_HTcVkY44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcVZ444EeWgMs9w54iBCg" target="_HTcVko44EeWgMs9w54iBCg" source="_HTcVi444EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ControlFlow" xmi:id="_HTcVaI44EeWgMs9w54iBCg" target="_HTcVcI44EeWgMs9w54iBCg" source="_HTcVko44EeWgMs9w54iBCg">
              <guard xmi:type="uml:LiteralBoolean" xmi:id="_HTcVaY44EeWgMs9w54iBCg" name="Value(true)" value="true"/>
            </edge>
            <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTcVao44EeWgMs9w54iBCg" name="Body" incoming="_HTcVYY44EeWgMs9w54iBCg"/>
            <node xmi:type="uml:ReadSelfAction" xmi:id="_HTcVa444EeWgMs9w54iBCg" name="ReadSelf">
              <result xmi:id="_HTcVbI44EeWgMs9w54iBCg" name="ReadSelf.result" outgoing="_HTcVX444EeWgMs9w54iBCg" type="_HTbue444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVbY44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVbo44EeWgMs9w54iBCg" value="1"/>
              </result>
            </node>
            <node xmi:type="uml:ForkNode" xmi:id="_HTcVb444EeWgMs9w54iBCg" name="Fork(ReadSelf.result)" incoming="_HTcVX444EeWgMs9w54iBCg" outgoing="_HTcVXI44EeWgMs9w54iBCg _HTcVYI44EeWgMs9w54iBCg _HTcVYo44EeWgMs9w54iBCg"/>
            <node xmi:type="uml:CallOperationAction" xmi:id="_HTcVcI44EeWgMs9w54iBCg" name="Call(B$initialization$1)" incoming="_HTcVaI44EeWgMs9w54iBCg" outgoing="_HTcVYY44EeWgMs9w54iBCg" operation="_HTcV1444EeWgMs9w54iBCg">
              <target xmi:id="_HTcVcY44EeWgMs9w54iBCg" name="Call(B$initialization$1).target" incoming="_HTcVYI44EeWgMs9w54iBCg" type="_HTbue444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVco44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVc444EeWgMs9w54iBCg" value="1"/>
              </target>
            </node>
            <node xmi:type="uml:ReadStructuralFeatureAction" xmi:id="_HTcVdI44EeWgMs9w54iBCg" name="Read(B$initializationFlag$1)" structuralFeature="_HTbufI44EeWgMs9w54iBCg">
              <object xmi:id="_HTcVdY44EeWgMs9w54iBCg" name="Read(B$initializationFlag$1).object" incoming="_HTcVYo44EeWgMs9w54iBCg" type="_HTbue444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVdo44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVd444EeWgMs9w54iBCg" value="1"/>
              </object>
              <result xmi:id="_HTcVeI44EeWgMs9w54iBCg" name="Read(B$initializationFlag$1).result" outgoing="_HTcVY444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVeY44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVeo44EeWgMs9w54iBCg" value="1"/>
              </result>
            </node>
            <node xmi:type="uml:CallBehaviorAction" xmi:id="_HTcVe444EeWgMs9w54iBCg" name="Call(ListSize)">
              <argument xmi:id="_HTcVfI44EeWgMs9w54iBCg" name="Call(ListSize).argument(list)" incoming="_HTcVY444EeWgMs9w54iBCg">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVfY44EeWgMs9w54iBCg"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVfo44EeWgMs9w54iBCg" value="*"/>
              </argument>
              <result xmi:id="_HTcVf444EeWgMs9w54iBCg" name="Call(ListSize).result(result)" outgoing="_HTcVZI44EeWgMs9w54iBCg">
                <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVgI44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVgY44EeWgMs9w54iBCg" value="1"/>
              </result>
              <behavior xmi:type="uml:FunctionBehavior" href="Libraries/fUML.library.uml#PrimitiveBehaviors-ListFunctions-ListSize"/>
            </node>
            <node xmi:type="uml:ValueSpecificationAction" xmi:id="_HTcVgo44EeWgMs9w54iBCg" name="Value(0)">
              <result xmi:id="_HTcVg444EeWgMs9w54iBCg" name="Value(0).result" outgoing="_HTcVZY44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVhI44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVhY44EeWgMs9w54iBCg" value="1"/>
              </result>
              <value xmi:type="uml:LiteralInteger" xmi:id="_HTcVho44EeWgMs9w54iBCg">
                <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
              </value>
            </node>
            <node xmi:type="uml:TestIdentityAction" xmi:id="_HTcVh444EeWgMs9w54iBCg" name="Test(Size==0)">
              <first xmi:id="_HTcViI44EeWgMs9w54iBCg" name="Test(Size==0).first" incoming="_HTcVZI44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcViY44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVio44EeWgMs9w54iBCg" value="1"/>
              </first>
              <result xmi:id="_HTcVi444EeWgMs9w54iBCg" name="Test(Size==0).result" outgoing="_HTcVZ444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVjI44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVjY44EeWgMs9w54iBCg" value="1"/>
              </result>
              <second xmi:id="_HTcVjo44EeWgMs9w54iBCg" name="Test(Size==0).second" incoming="_HTcVZY44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVj444EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVkI44EeWgMs9w54iBCg" value="1"/>
              </second>
            </node>
            <node xmi:type="uml:InitialNode" xmi:id="_HTcVkY44EeWgMs9w54iBCg" name="InitialNode" outgoing="_HTcVZo44EeWgMs9w54iBCg"/>
            <node xmi:type="uml:DecisionNode" xmi:id="_HTcVko44EeWgMs9w54iBCg" name="Decision(Test(B$initializationFlag$1))" incoming="_HTcVZo44EeWgMs9w54iBCg _HTcVZ444EeWgMs9w54iBCg" outgoing="_HTcVaI44EeWgMs9w54iBCg" decisionInputFlow="_HTcVZ444EeWgMs9w54iBCg"/>
          </structuredNode>
          <node xmi:type="uml:ActivityParameterNode" xmi:id="_HTcVXY44EeWgMs9w54iBCg" name="Return" incoming="_HTcVXI44EeWgMs9w54iBCg" type="_HTbue444EeWgMs9w54iBCg" parameter="_HTcVWY44EeWgMs9w54iBCg"/>
        </ownedBehavior>
        <ownedBehavior xmi:type="uml:Activity" xmi:id="_HTcVk444EeWgMs9w54iBCg" name="destroy$method$1" specification="_HTcV3I44EeWgMs9w54iBCg" node="_HTcVlI44EeWgMs9w54iBCg" group="_HTcVlI44EeWgMs9w54iBCg">
          <structuredNode xmi:id="_HTcVlI44EeWgMs9w54iBCg" name="Body(destroy$method$1)"/>
        </ownedBehavior>
        <ownedBehavior xmi:type="uml:Activity" xmi:id="_HTcVlY44EeWgMs9w54iBCg" name="B$initialization$1" specification="_HTcV1444EeWgMs9w54iBCg" node="_HTcVlo44EeWgMs9w54iBCg" group="_HTcVlo44EeWgMs9w54iBCg">
          <structuredNode xmi:id="_HTcVlo44EeWgMs9w54iBCg" name="Body(B$initialization$1)">
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcVl444EeWgMs9w54iBCg" target="_HTcVpY44EeWgMs9w54iBCg" source="_HTcVoo44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcVmI44EeWgMs9w54iBCg" target="_HTcVr444EeWgMs9w54iBCg" source="_HTcVpY44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcVmY44EeWgMs9w54iBCg" target="_HTcVuY44EeWgMs9w54iBCg" source="_HTcVpY44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcVmo44EeWgMs9w54iBCg" target="_HTcVwI44EeWgMs9w54iBCg" source="_HTcVvI44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcVm444EeWgMs9w54iBCg" target="_HTcVzI44EeWgMs9w54iBCg" source="_HTcVw444EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcVnI44EeWgMs9w54iBCg" target="_HTcV0o44EeWgMs9w54iBCg" source="_HTcVx444EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ControlFlow" xmi:id="_HTcVnY44EeWgMs9w54iBCg" target="_HTcV1o44EeWgMs9w54iBCg" source="_HTcV1Y44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcVno44EeWgMs9w54iBCg" target="_HTcV1o44EeWgMs9w54iBCg" source="_HTcVz444EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ControlFlow" xmi:id="_HTcVn444EeWgMs9w54iBCg" target="_HTcVpo44EeWgMs9w54iBCg" source="_HTcV1o44EeWgMs9w54iBCg">
              <guard xmi:type="uml:LiteralBoolean" xmi:id="_HTcVoI44EeWgMs9w54iBCg" name="Value(true)" value="true"/>
            </edge>
            <node xmi:type="uml:ReadSelfAction" xmi:id="_HTcVoY44EeWgMs9w54iBCg" name="ReadSelf">
              <result xmi:id="_HTcVoo44EeWgMs9w54iBCg" name="ReadSelf.result" outgoing="_HTcVl444EeWgMs9w54iBCg" type="_HTbue444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVo444EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVpI44EeWgMs9w54iBCg" value="1"/>
              </result>
            </node>
            <node xmi:type="uml:ForkNode" xmi:id="_HTcVpY44EeWgMs9w54iBCg" name="Fork(ReadSelf.result)" incoming="_HTcVl444EeWgMs9w54iBCg" outgoing="_HTcVmI44EeWgMs9w54iBCg _HTcVmY44EeWgMs9w54iBCg"/>
            <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTcVpo44EeWgMs9w54iBCg" name="Initialization" incoming="_HTcVn444EeWgMs9w54iBCg">
              <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTcVp444EeWgMs9w54iBCg" name="Set(initializationFlag)">
                <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcVqI44EeWgMs9w54iBCg" target="_HTcVtY44EeWgMs9w54iBCg" source="_HTcVqo44EeWgMs9w54iBCg"/>
                <node xmi:type="uml:ValueSpecificationAction" xmi:id="_HTcVqY44EeWgMs9w54iBCg" name="Value(true)">
                  <result xmi:id="_HTcVqo44EeWgMs9w54iBCg" name="Value(true).result" outgoing="_HTcVqI44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVq444EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVrI44EeWgMs9w54iBCg" value="1"/>
                  </result>
                  <value xmi:type="uml:LiteralBoolean" xmi:id="_HTcVrY44EeWgMs9w54iBCg" value="true">
                    <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
                  </value>
                </node>
                <node xmi:type="uml:AddStructuralFeatureValueAction" xmi:id="_HTcVro44EeWgMs9w54iBCg" name="Write(B$initializationFlag$1)" structuralFeature="_HTbufI44EeWgMs9w54iBCg" isReplaceAll="true">
                  <object xmi:id="_HTcVr444EeWgMs9w54iBCg" name="Write(B$initializationFlag$1).object" incoming="_HTcVmI44EeWgMs9w54iBCg" type="_HTbue444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVsI44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVsY44EeWgMs9w54iBCg" value="1"/>
                  </object>
                  <result xmi:id="_HTcVso44EeWgMs9w54iBCg" name="Write(B$initializationFlag$1).result" type="_HTbue444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVs444EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVtI44EeWgMs9w54iBCg" value="1"/>
                  </result>
                  <value xmi:id="_HTcVtY44EeWgMs9w54iBCg" name="Write(B$initializationFlag$1).value" incoming="_HTcVqI44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                    <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
                    <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVto44EeWgMs9w54iBCg" value="1"/>
                    <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVt444EeWgMs9w54iBCg" value="1"/>
                  </value>
                </node>
              </node>
            </node>
            <node xmi:type="uml:ReadStructuralFeatureAction" xmi:id="_HTcVuI44EeWgMs9w54iBCg" name="Read(B$initializationFlag$1)" structuralFeature="_HTbufI44EeWgMs9w54iBCg">
              <object xmi:id="_HTcVuY44EeWgMs9w54iBCg" name="Read(B$initializationFlag$1).object" incoming="_HTcVmY44EeWgMs9w54iBCg" type="_HTbue444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVuo44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVu444EeWgMs9w54iBCg" value="1"/>
              </object>
              <result xmi:id="_HTcVvI44EeWgMs9w54iBCg" name="Read(B$initializationFlag$1).result" outgoing="_HTcVmo44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVvY44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVvo44EeWgMs9w54iBCg" value="1"/>
              </result>
            </node>
            <node xmi:type="uml:CallBehaviorAction" xmi:id="_HTcVv444EeWgMs9w54iBCg" name="Call(ListSize)">
              <argument xmi:id="_HTcVwI44EeWgMs9w54iBCg" name="Call(ListSize).argument(list)" incoming="_HTcVmo44EeWgMs9w54iBCg">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVwY44EeWgMs9w54iBCg"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVwo44EeWgMs9w54iBCg" value="*"/>
              </argument>
              <result xmi:id="_HTcVw444EeWgMs9w54iBCg" name="Call(ListSize).result(result)" outgoing="_HTcVm444EeWgMs9w54iBCg">
                <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVxI44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVxY44EeWgMs9w54iBCg" value="1"/>
              </result>
              <behavior xmi:type="uml:FunctionBehavior" href="Libraries/fUML.library.uml#PrimitiveBehaviors-ListFunctions-ListSize"/>
            </node>
            <node xmi:type="uml:ValueSpecificationAction" xmi:id="_HTcVxo44EeWgMs9w54iBCg" name="Value(0)">
              <result xmi:id="_HTcVx444EeWgMs9w54iBCg" name="Value(0).result" outgoing="_HTcVnI44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVyI44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVyY44EeWgMs9w54iBCg" value="1"/>
              </result>
              <value xmi:type="uml:LiteralInteger" xmi:id="_HTcVyo44EeWgMs9w54iBCg">
                <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
              </value>
            </node>
            <node xmi:type="uml:TestIdentityAction" xmi:id="_HTcVy444EeWgMs9w54iBCg" name="Test(Size==0)">
              <first xmi:id="_HTcVzI44EeWgMs9w54iBCg" name="Test(Size==0).first" incoming="_HTcVm444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcVzY44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcVzo44EeWgMs9w54iBCg" value="1"/>
              </first>
              <result xmi:id="_HTcVz444EeWgMs9w54iBCg" name="Test(Size==0).result" outgoing="_HTcVno44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcV0I44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcV0Y44EeWgMs9w54iBCg" value="1"/>
              </result>
              <second xmi:id="_HTcV0o44EeWgMs9w54iBCg" name="Test(Size==0).second" incoming="_HTcVnI44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcV0444EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcV1I44EeWgMs9w54iBCg" value="1"/>
              </second>
            </node>
            <node xmi:type="uml:InitialNode" xmi:id="_HTcV1Y44EeWgMs9w54iBCg" name="InitialNode" outgoing="_HTcVnY44EeWgMs9w54iBCg"/>
            <node xmi:type="uml:DecisionNode" xmi:id="_HTcV1o44EeWgMs9w54iBCg" name="Decision(Test(B$initializationFlag$1))" incoming="_HTcVnY44EeWgMs9w54iBCg _HTcVno44EeWgMs9w54iBCg" outgoing="_HTcVn444EeWgMs9w54iBCg" decisionInputFlow="_HTcVno44EeWgMs9w54iBCg"/>
          </structuredNode>
        </ownedBehavior>
        <ownedOperation xmi:id="_HTcV1444EeWgMs9w54iBCg" name="B$initialization$1" visibility="protected" method="_HTcVlY44EeWgMs9w54iBCg"/>
        <ownedOperation xmi:id="_HTcV2I44EeWgMs9w54iBCg" name="B" visibility="public" method="_HTcVWI44EeWgMs9w54iBCg">
          <ownedParameter xmi:id="_HTcV2Y44EeWgMs9w54iBCg" name="" visibility="package" type="_HTbue444EeWgMs9w54iBCg" direction="return">
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcV2o44EeWgMs9w54iBCg" value="1"/>
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcV2444EeWgMs9w54iBCg" value="1"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:id="_HTcV3I44EeWgMs9w54iBCg" name="destroy" visibility="public" method="_HTcVk444EeWgMs9w54iBCg"/>
        <nestedClassifier xmi:type="uml:Signal" xmi:id="_HTcV3Y44EeWgMs9w54iBCg" name="Start" visibility="package">
          <ownedAttribute xmi:id="_HTcV3o44EeWgMs9w54iBCg" name="a" visibility="public" type="_HTbHs444EeWgMs9w54iBCg">
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcV3444EeWgMs9w54iBCg" value="1"/>
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcV4I44EeWgMs9w54iBCg" value="1"/>
          </ownedAttribute>
          <ownedAttribute xmi:id="_HTcV4Y44EeWgMs9w54iBCg" name="n" visibility="public">
            <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcV4o44EeWgMs9w54iBCg" value="1"/>
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcV4444EeWgMs9w54iBCg" value="1"/>
          </ownedAttribute>
        </nestedClassifier>
        <nestedClassifier xmi:type="uml:Signal" xmi:id="_HTcV5I44EeWgMs9w54iBCg" name="Pong" visibility="package"/>
        <ownedReception xmi:id="_HTcV5Y44EeWgMs9w54iBCg" name="Start" signal="_HTcV3Y44EeWgMs9w54iBCg"/>
        <ownedReception xmi:id="_HTcV5o44EeWgMs9w54iBCg" name="Pong" signal="_HTcV5I44EeWgMs9w54iBCg"/>
      </nestedClassifier>
    </packagedElement>
    <packagedElement xmi:type="uml:SignalEvent" xmi:id="_HTcV5444EeWgMs9w54iBCg" name="Event(Start)" signal="_HTbudI44EeWgMs9w54iBCg"/>
    <packagedElement xmi:type="uml:SignalEvent" xmi:id="_HTcV6I44EeWgMs9w54iBCg" name="Event(Ping)" signal="_HTbueI44EeWgMs9w54iBCg"/>
    <packagedElement xmi:type="uml:SignalEvent" xmi:id="_HTcV6Y44EeWgMs9w54iBCg" name="Event(Start)" signal="_HTcV3Y44EeWgMs9w54iBCg"/>
    <packagedElement xmi:type="uml:SignalEvent" xmi:id="_HTcV6o44EeWgMs9w54iBCg" name="Event(Pong)" signal="_HTcV5I44EeWgMs9w54iBCg"/>
    <packagedElement xmi:type="uml:Activity" xmi:id="_HTcV6444EeWgMs9w54iBCg" name="Write" node="_HTcV-I44EeWgMs9w54iBCg _HTcV-o44EeWgMs9w54iBCg _HTcWAI44EeWgMs9w54iBCg _HTcV-Y44EeWgMs9w54iBCg" group="_HTcV-o44EeWgMs9w54iBCg _HTcWAI44EeWgMs9w54iBCg">
      <packageImport xmi:id="_HTcV7I44EeWgMs9w54iBCg" visibility="private">
        <importedPackage href="Libraries/Alf.library.uml#Alf-Library-PrimitiveTypes"/>
      </packageImport>
      <packageImport xmi:id="_HTcV7Y44EeWgMs9w54iBCg" visibility="private">
        <importedPackage href="Libraries/Alf.library.uml#Alf-Library-PrimitiveBehaviors"/>
      </packageImport>
      <packageImport xmi:id="_HTcV7o44EeWgMs9w54iBCg" visibility="private">
        <importedPackage href="Libraries/Alf.library.uml#Alf-Library-BasicInputOutput"/>
      </packageImport>
      <packageImport xmi:id="_HTcV7444EeWgMs9w54iBCg" visibility="private">
        <importedPackage href="Libraries/Alf.library.uml#Alf-Library-CollectionFunctions"/>
      </packageImport>
      <packageImport xmi:id="_HTcV8I44EeWgMs9w54iBCg" visibility="private">
        <importedPackage href="Libraries/Alf.library.uml#Alf-Library-CollectionClasses"/>
      </packageImport>
      <ownedParameter xmi:id="_HTcV8Y44EeWgMs9w54iBCg" name="value" visibility="package">
        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcV8o44EeWgMs9w54iBCg" value="1"/>
        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcV8444EeWgMs9w54iBCg" value="1"/>
      </ownedParameter>
      <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcV9I44EeWgMs9w54iBCg" target="_HTcV_I44EeWgMs9w54iBCg" source="_HTcV-I44EeWgMs9w54iBCg"/>
      <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcV9Y44EeWgMs9w54iBCg" target="_HTcWB444EeWgMs9w54iBCg" source="_HTcV_444EeWgMs9w54iBCg"/>
      <edge xmi:type="uml:ControlFlow" xmi:id="_HTcV9o44EeWgMs9w54iBCg" target="_HTcV-Y44EeWgMs9w54iBCg" source="_HTcV-o44EeWgMs9w54iBCg"/>
      <edge xmi:type="uml:ControlFlow" xmi:id="_HTcV9444EeWgMs9w54iBCg" target="_HTcWAI44EeWgMs9w54iBCg" source="_HTcV-Y44EeWgMs9w54iBCg"/>
      <structuredNode xmi:id="_HTcV-o44EeWgMs9w54iBCg" name="Node(Input(value))" outgoing="_HTcV9o44EeWgMs9w54iBCg">
        <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcV-444EeWgMs9w54iBCg" target="_HTcV_444EeWgMs9w54iBCg" source="_HTcV_I44EeWgMs9w54iBCg"/>
        <structuredNodeInput xmi:id="_HTcV_I44EeWgMs9w54iBCg" name="Input(value)" incoming="_HTcV9I44EeWgMs9w54iBCg" outgoing="_HTcV-444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcV_Y44EeWgMs9w54iBCg" value="1"/>
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcV_o44EeWgMs9w54iBCg" value="1"/>
        </structuredNodeInput>
        <node xmi:type="uml:ForkNode" xmi:id="_HTcV_444EeWgMs9w54iBCg" name="Fork(value)" incoming="_HTcV-444EeWgMs9w54iBCg" outgoing="_HTcV9Y44EeWgMs9w54iBCg"/>
      </structuredNode>
      <structuredNode xmi:id="_HTcWAI44EeWgMs9w54iBCg" name="Body(Write)" incoming="_HTcV9444EeWgMs9w54iBCg">
        <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTcWAY44EeWgMs9w54iBCg" name="ExpressionStatement@700bf792">
          <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcWAo44EeWgMs9w54iBCg" target="_HTcWFI44EeWgMs9w54iBCg" source="_HTcWIY44EeWgMs9w54iBCg"/>
          <edge xmi:type="uml:ControlFlow" xmi:id="_HTcWA444EeWgMs9w54iBCg" target="_HTcWBI44EeWgMs9w54iBCg" source="_HTcWFY44EeWgMs9w54iBCg"/>
          <node xmi:type="uml:ExpansionRegion" xmi:id="_HTcWBI44EeWgMs9w54iBCg" name="Collect(Call(write))" incoming="_HTcWA444EeWgMs9w54iBCg" mode="parallel" inputElement="_HTcWFI44EeWgMs9w54iBCg">
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcWBY44EeWgMs9w54iBCg" target="_HTcWC444EeWgMs9w54iBCg" source="_HTcWB444EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcWBo44EeWgMs9w54iBCg" target="_HTcWEY44EeWgMs9w54iBCg" source="_HTcWFI44EeWgMs9w54iBCg"/>
            <structuredNodeInput xmi:id="_HTcWB444EeWgMs9w54iBCg" name="Collect(Call(write)).input(Fork(value))" incoming="_HTcV9Y44EeWgMs9w54iBCg" outgoing="_HTcWBY44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcWCI44EeWgMs9w54iBCg" value="1"/>
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcWCY44EeWgMs9w54iBCg" value="1"/>
            </structuredNodeInput>
            <node xmi:type="uml:CallOperationAction" xmi:id="_HTcWCo44EeWgMs9w54iBCg" name="Call(write)">
              <argument xmi:id="_HTcWC444EeWgMs9w54iBCg" name="Call(write).argument(value)" incoming="_HTcWBY44EeWgMs9w54iBCg">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcWDI44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcWDY44EeWgMs9w54iBCg" value="1"/>
              </argument>
              <result xmi:id="_HTcWDo44EeWgMs9w54iBCg" name="Call(write).result(errorStatus)">
                <type xmi:type="uml:DataType" href="Libraries/fUML.library.uml#Common-Status"/>
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcWD444EeWgMs9w54iBCg"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcWEI44EeWgMs9w54iBCg" value="1"/>
              </result>
              <operation href="Libraries/fUML.library.uml#BasicInputOutput-OutputChannel-write"/>
              <target xmi:id="_HTcWEY44EeWgMs9w54iBCg" name="Call(write).target" incoming="_HTcWBo44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <type xmi:type="uml:Class" href="Libraries/fUML.library.uml#BasicInputOutput-OutputChannel"/>
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcWEo44EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcWE444EeWgMs9w54iBCg" value="1"/>
              </target>
            </node>
          </node>
          <node xmi:type="uml:ExpansionNode" xmi:id="_HTcWFI44EeWgMs9w54iBCg" name="Collect(Call(write)).inputElement" incoming="_HTcWAo44EeWgMs9w54iBCg" outgoing="_HTcWBo44EeWgMs9w54iBCg" regionAsInput="_HTcWBI44EeWgMs9w54iBCg"/>
          <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTcWFY44EeWgMs9w54iBCg" name="Feature(Call(At).result())" outgoing="_HTcWA444EeWgMs9w54iBCg">
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcWFo44EeWgMs9w54iBCg" target="_HTcWG444EeWgMs9w54iBCg" source="_HTcWJo44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcWF444EeWgMs9w54iBCg" target="_HTcWLo44EeWgMs9w54iBCg" source="_HTcWKo44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ControlFlow" xmi:id="_HTcWGI44EeWgMs9w54iBCg" target="_HTcWGo44EeWgMs9w54iBCg" source="_HTcWJI44EeWgMs9w54iBCg"/>
            <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcWGY44EeWgMs9w54iBCg" target="_HTcWHo44EeWgMs9w54iBCg" source="_HTcWLo44EeWgMs9w54iBCg"/>
            <node xmi:type="uml:CallBehaviorAction" xmi:id="_HTcWGo44EeWgMs9w54iBCg" name="Call(At)" incoming="_HTcWGI44EeWgMs9w54iBCg">
              <argument xmi:id="_HTcWG444EeWgMs9w54iBCg" name="Call(At).argument(seq)" incoming="_HTcWFo44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcWHI44EeWgMs9w54iBCg"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcWHY44EeWgMs9w54iBCg" value="*"/>
              </argument>
              <argument xmi:id="_HTcWHo44EeWgMs9w54iBCg" name="Call(At).argument(index)" incoming="_HTcWGY44EeWgMs9w54iBCg">
                <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcWH444EeWgMs9w54iBCg" value="1"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcWII44EeWgMs9w54iBCg" value="1"/>
              </argument>
              <result xmi:id="_HTcWIY44EeWgMs9w54iBCg" name="Call(At).result()" outgoing="_HTcWAo44EeWgMs9w54iBCg">
                <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcWIo44EeWgMs9w54iBCg"/>
                <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcWI444EeWgMs9w54iBCg" value="1"/>
              </result>
              <behavior xmi:type="uml:Activity" href="Libraries/Alf.library.uml#Alf-Library-PrimitiveBehaviors-SequenceFunctions-At"/>
            </node>
            <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTcWJI44EeWgMs9w54iBCg" name="Tuple@3068f701" outgoing="_HTcWGI44EeWgMs9w54iBCg">
              <node xmi:type="uml:ReadExtentAction" xmi:id="_HTcWJY44EeWgMs9w54iBCg" name="ReadExtent(StandardOutputChannel)">
                <classifier xmi:type="uml:Class" href="Libraries/fUML.library.uml#BasicInputOutput-StandardOutputChannel"/>
                <result xmi:id="_HTcWJo44EeWgMs9w54iBCg" name="ReadExtent(StandardOutputChannel).result" outgoing="_HTcWFo44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <type xmi:type="uml:Class" href="Libraries/fUML.library.uml#BasicInputOutput-StandardOutputChannel"/>
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcWJ444EeWgMs9w54iBCg"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcWKI44EeWgMs9w54iBCg" value="*"/>
                </result>
              </node>
              <node xmi:type="uml:ValueSpecificationAction" xmi:id="_HTcWKY44EeWgMs9w54iBCg" name="Value(1)">
                <result xmi:id="_HTcWKo44EeWgMs9w54iBCg" name="Value(1).result" outgoing="_HTcWF444EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
                  <type xmi:type="uml:PrimitiveType" href="Libraries/Alf.library.uml#Alf-Library-PrimitiveTypes-Natural"/>
                  <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcWK444EeWgMs9w54iBCg" value="1"/>
                  <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcWLI44EeWgMs9w54iBCg" value="1"/>
                </result>
                <value xmi:type="uml:LiteralInteger" xmi:id="_HTcWLY44EeWgMs9w54iBCg" value="1">
                  <type xmi:type="uml:PrimitiveType" href="Libraries/Alf.library.uml#Alf-Library-PrimitiveTypes-Natural"/>
                </value>
              </node>
            </node>
            <node xmi:type="uml:ForkNode" xmi:id="_HTcWLo44EeWgMs9w54iBCg" name="Fork(Call(At).argument(index))" incoming="_HTcWF444EeWgMs9w54iBCg" outgoing="_HTcWGY44EeWgMs9w54iBCg"/>
          </node>
        </node>
      </structuredNode>
      <node xmi:type="uml:ActivityParameterNode" xmi:id="_HTcV-I44EeWgMs9w54iBCg" name="Input(value)" outgoing="_HTcV9I44EeWgMs9w54iBCg" parameter="_HTcV8Y44EeWgMs9w54iBCg"/>
      <node xmi:type="uml:JoinNode" xmi:id="_HTcV-Y44EeWgMs9w54iBCg" name="Join(Input))" incoming="_HTcV9o44EeWgMs9w54iBCg" outgoing="_HTcV9444EeWgMs9w54iBCg"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Activity" xmi:id="_HTcWL444EeWgMs9w54iBCg" name="$$Alf$Library$CollectionFunctions$notEmpty__PrimitiveTypes$Integer__" node="_HTcWPI44EeWgMs9w54iBCg _HTcWPY44EeWgMs9w54iBCg _HTcWPo44EeWgMs9w54iBCg _HTcWP444EeWgMs9w54iBCg _HTcWQI44EeWgMs9w54iBCg _HTcWRo44EeWgMs9w54iBCg" group="_HTcWQI44EeWgMs9w54iBCg _HTcWRo44EeWgMs9w54iBCg">
      <ownedParameter xmi:id="_HTcWMI44EeWgMs9w54iBCg" name="seq" visibility="package" isOrdered="true" isUnique="false">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcWMY44EeWgMs9w54iBCg"/>
        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcWMo44EeWgMs9w54iBCg" value="*"/>
      </ownedParameter>
      <ownedParameter xmi:id="_HTcWM444EeWgMs9w54iBCg" name="" visibility="package" direction="return">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcWNI44EeWgMs9w54iBCg" value="1"/>
        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcWNY44EeWgMs9w54iBCg" value="1"/>
      </ownedParameter>
      <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcWNo44EeWgMs9w54iBCg" target="_HTcWQo44EeWgMs9w54iBCg" source="_HTcWPI44EeWgMs9w54iBCg"/>
      <edge xmi:type="uml:ControlFlow" xmi:id="_HTcWN444EeWgMs9w54iBCg" target="_HTcWPo44EeWgMs9w54iBCg" source="_HTcWR444EeWgMs9w54iBCg"/>
      <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcWOI44EeWgMs9w54iBCg" target="_HTcWTY44EeWgMs9w54iBCg" source="_HTcWRY44EeWgMs9w54iBCg"/>
      <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcWOY44EeWgMs9w54iBCg" target="_HTcWPY44EeWgMs9w54iBCg" source="_HTcWSY44EeWgMs9w54iBCg"/>
      <edge xmi:type="uml:ControlFlow" xmi:id="_HTcWOo44EeWgMs9w54iBCg" target="_HTcWP444EeWgMs9w54iBCg" source="_HTcWQI44EeWgMs9w54iBCg"/>
      <edge xmi:type="uml:ControlFlow" xmi:id="_HTcWO444EeWgMs9w54iBCg" target="_HTcWRo44EeWgMs9w54iBCg" source="_HTcWP444EeWgMs9w54iBCg"/>
      <structuredNode xmi:id="_HTcWQI44EeWgMs9w54iBCg" name="Node(Input(seq))" outgoing="_HTcWOo44EeWgMs9w54iBCg">
        <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcWQY44EeWgMs9w54iBCg" target="_HTcWRY44EeWgMs9w54iBCg" source="_HTcWQo44EeWgMs9w54iBCg"/>
        <structuredNodeInput xmi:id="_HTcWQo44EeWgMs9w54iBCg" name="Input(seq)" incoming="_HTcWNo44EeWgMs9w54iBCg" outgoing="_HTcWQY44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcWQ444EeWgMs9w54iBCg"/>
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcWRI44EeWgMs9w54iBCg" value="*"/>
        </structuredNodeInput>
        <node xmi:type="uml:ForkNode" xmi:id="_HTcWRY44EeWgMs9w54iBCg" name="Fork(seq)" incoming="_HTcWQY44EeWgMs9w54iBCg" outgoing="_HTcWOI44EeWgMs9w54iBCg"/>
      </structuredNode>
      <structuredNode xmi:id="_HTcWRo44EeWgMs9w54iBCg" name="Body(notEmpty)" incoming="_HTcWO444EeWgMs9w54iBCg">
        <node xmi:type="uml:StructuredActivityNode" xmi:id="_HTcWR444EeWgMs9w54iBCg" name="ReturnStatement@1463963e" outgoing="_HTcWN444EeWgMs9w54iBCg">
          <edge xmi:type="uml:ObjectFlow" xmi:id="_HTcWSI44EeWgMs9w54iBCg" target="_HTcWSY44EeWgMs9w54iBCg" source="_HTcWUI44EeWgMs9w54iBCg"/>
          <structuredNodeOutput xmi:id="_HTcWSY44EeWgMs9w54iBCg" name="ReturnStatement@1463963e.output" incoming="_HTcWSI44EeWgMs9w54iBCg" outgoing="_HTcWOY44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
            <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcWSo44EeWgMs9w54iBCg" value="1"/>
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcWS444EeWgMs9w54iBCg" value="1"/>
          </structuredNodeOutput>
          <node xmi:type="uml:CallBehaviorAction" xmi:id="_HTcWTI44EeWgMs9w54iBCg" name="Call(NotEmpty)">
            <argument xmi:id="_HTcWTY44EeWgMs9w54iBCg" name="Call(NotEmpty).argument(seq)" incoming="_HTcWOI44EeWgMs9w54iBCg" isOrdered="true" isUnique="false">
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcWTo44EeWgMs9w54iBCg"/>
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcWT444EeWgMs9w54iBCg" value="*"/>
            </argument>
            <result xmi:id="_HTcWUI44EeWgMs9w54iBCg" name="Call(NotEmpty).result()" outgoing="_HTcWSI44EeWgMs9w54iBCg">
              <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HTcWUY44EeWgMs9w54iBCg" value="1"/>
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HTcWUo44EeWgMs9w54iBCg" value="1"/>
            </result>
            <behavior xmi:type="uml:Activity" href="Libraries/Alf.library.uml#Alf-Library-PrimitiveBehaviors-SequenceFunctions-NotEmpty"/>
          </node>
        </node>
      </structuredNode>
      <node xmi:type="uml:ActivityParameterNode" xmi:id="_HTcWPI44EeWgMs9w54iBCg" name="Input(seq)" outgoing="_HTcWNo44EeWgMs9w54iBCg" parameter="_HTcWMI44EeWgMs9w54iBCg">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
      </node>
      <node xmi:type="uml:ActivityParameterNode" xmi:id="_HTcWPY44EeWgMs9w54iBCg" name="Return" incoming="_HTcWOY44EeWgMs9w54iBCg" parameter="_HTcWM444EeWgMs9w54iBCg">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
      </node>
      <node xmi:type="uml:ActivityFinalNode" xmi:id="_HTcWPo44EeWgMs9w54iBCg" name="Final" incoming="_HTcWN444EeWgMs9w54iBCg"/>
      <node xmi:type="uml:JoinNode" xmi:id="_HTcWP444EeWgMs9w54iBCg" name="Join(Input))" incoming="_HTcWOo44EeWgMs9w54iBCg" outgoing="_HTcWO444EeWgMs9w54iBCg"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Activity" xmi:id="_HTcWU444EeWgMs9w54iBCg">
      <templateBinding xmi:id="_HTcWVI44EeWgMs9w54iBCg">
        <parameterSubstitution xmi:id="_HTcWVY44EeWgMs9w54iBCg">
          <actual xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
          <formal xmi:type="uml:ClassifierTemplateParameter" href="Libraries/Alf.library.uml#Alf-Library-CollectionFunctions-notEmpty-_ownedTemplateSignature-_ownedParameter.0"/>
        </parameterSubstitution>
        <signature xmi:type="uml:RedefinableTemplateSignature" href="Libraries/Alf.library.uml#Alf-Library-CollectionFunctions-notEmpty-_ownedTemplateSignature"/>
      </templateBinding>
    </packagedElement>
    <packagedElement xmi:type="uml:Realization" xmi:id="_HTcWVo44EeWgMs9w54iBCg" client="_HTcWL444EeWgMs9w54iBCg" supplier="_HTcWU444EeWgMs9w54iBCg"/>
    <profileApplication xmi:id="_HTcWV444EeWgMs9w54iBCg">
      <eAnnotations xmi:id="_HTcWWI44EeWgMs9w54iBCg" source="http://www.eclipse.org/uml2/2.0.0/UML">
        <references xmi:type="ecore:EPackage" href="pathmap://UML_PROFILES/Standard.profile.uml#_QLYqEHJLEeKLR_U6HVChUg"/>
      </eAnnotations>
      <appliedProfile href="pathmap://UML_PROFILES/Standard.profile.uml#_0"/>
    </profileApplication>
  </uml:Model>
  <l2:Destroy xmi:id="_HTc74I44EeWgMs9w54iBCg" base_BehavioralFeature="_HTbuc444EeWgMs9w54iBCg"/>
  <l2:Create xmi:id="_HTc74Y44EeWgMs9w54iBCg" base_BehavioralFeature="_HTbHro44EeWgMs9w54iBCg"/>
  <l2:Create xmi:id="_HTc74o44EeWgMs9w54iBCg" base_BehavioralFeature="_HTbub444EeWgMs9w54iBCg"/>
  <l2:Destroy xmi:id="_HTc74444EeWgMs9w54iBCg" base_BehavioralFeature="_HTbHso44EeWgMs9w54iBCg"/>
  <l2:Destroy xmi:id="_HTc75I44EeWgMs9w54iBCg" base_BehavioralFeature="_HTcV3I44EeWgMs9w54iBCg"/>
  <l2:Create xmi:id="_HTc75Y44EeWgMs9w54iBCg" base_BehavioralFeature="_HTcV2I44EeWgMs9w54iBCg"/>
</xmi:XMI>
