(_originatingHost_).
( 
  !
    (cap).
    cap.
    0
|
  !
    (caller, method, actor).
    <caller, method>actor.
    0
|
  !
    (caller, method, payload, behaviour, actor).
    <caller, method, payload, behaviour>actor.
    0
|
  _Counter[
            (new starter)
            (
              (new behaviour)
              (
                starter[
                         (new go)
                         (
                           <starter>.
                           0
                         |
                           <go, behaviour>.
                           !
                             (starter).
                             IN go.
                             (behaviour)go.
                             <go, behaviour>.
                             <starter>.
                             0
                         )
                       ]
              |
                behaviour[
                           !
                             (methodName, callerName, leavingName).
                             <callerName, leavingName>methodName.
                             <in behaviour . in methodName>.
                             IN callerName.
                             (capOut, capAll).
                             <capOut, capAll, _misc_>^.
                             capAll.
                             (future)methodName.
                             <future>^.
                             0
                         |
                           _new[
                                 !
                                   (callerName, leavingName).
                                   IN callerName.
                                   <>callerName.
                                   (cap, payload, capEscapeTail)callerName.
                                   cap.
                                   (num, _target_host_cap_)payload.
                                   (new _Counter_instance)
                                   (
                                     <_Counter_instance, out _new . out behaviour . capEscapeTail>payload.
                                     <out _new . out behaviour . out _Counter>callerName.
                                     <OUT leavingName . OUT callerName . OUT _Counter_instance, OUT leavingName . OUT callerName . OUT _Counter_instance>^.
                                     ( 
                                       <behaviour>.
                                       0
                                     |
                                       _Counter_instance[
                                                          out _new.
                                                          out behaviour.
                                                          out _Counter.
                                                          _target_host_cap_.
                                                          (new starter)
                                                          (
                                                            (new behaviour)
                                                            (
                                                              starter[
                                                                       (new go)
                                                                       (
                                                                         <starter>.
                                                                         0
                                                                       |
                                                                         <go, behaviour>.
                                                                         !
                                                                           (starter).
                                                                           IN go.
                                                                           (behaviour)go.
                                                                           <go, behaviour>.
                                                                           <starter>.
                                                                           0
                                                                       )
                                                                     ]
                                                            |
                                                              behaviour[
                                                                         !
                                                                           (methodName, callerName, leavingName).
                                                                           <callerName, leavingName>methodName.
                                                                           <in behaviour . in methodName>.
                                                                           IN callerName.
                                                                           (capOut, capAll).
                                                                           <capOut, capAll, _misc_>^.
                                                                           capAll.
                                                                           (future)methodName.
                                                                           <future>^.
                                                                           0
                                                                       |
                                                                         _this_transfer[
                                                                                         <_Counter_instance>.
                                                                                         0
                                                                                       ]
                                                                       |
                                                                         (this)_this_transfer.
                                                                         ( 
                                                                           inc[
                                                                                (callerName, leavingName).
                                                                                IN callerName.
                                                                                <>callerName.
                                                                                (cap, payload, capEscapeTail)callerName.
                                                                                cap.
                                                                                ()payload.
                                                                                <_Counter_instance, out inc . out behaviour . capEscapeTail>payload.
                                                                                <out inc . out behaviour . out _Counter_instance>callerName.
                                                                                (new caller_inner)
                                                                                (
                                                                                  (new caller_ngxkxje)
                                                                                  (
                                                                                    (new caller_ocgngvc)
                                                                                    (
                                                                                      (new future)
                                                                                      (
                                                                                        <OUT caller_ocgngvc . OUT callerName . OUT leavingName, OUT caller_ocgngvc . IN caller_ngxkxje . OUT caller_ngxkxje . IN caller_inner .  OUT checkerChanger . OUT callerName . OUT leavingName . OUT future>^.
                                                                                        ( 
                                                                                          IN caller_ngxkxje . IN caller_inner.
                                                                                          0
                                                                                        |
                                                                                          OUT future.
                                                                                          checkerChanger[
                                                                                                          out inc.
                                                                                                          out behaviour.
                                                                                                          in checker.
                                                                                                          <IN *>^.
                                                                                                          0
                                                                                                        ]
                                                                                        |
                                                                                          <future>.
                                                                                          0
                                                                                        |
                                                                                          caller_ocgngvc[
                                                                                                          out inc . out behaviour . out _Counter_instance.
                                                                                                          <caller_ocgngvc, plus, num>^.
                                                                                                          in num.
                                                                                                          <caller_ngxkxje>.
                                                                                                          (capIn).
                                                                                                          capIn.
                                                                                                          ( 
                                                                                                            (escape).
                                                                                                            escape.
                                                                                                            0
                                                                                                          |
                                                                                                            ().
                                                                                                            <OUT caller_ngxkxje, caller_ngxkxje, out num>.
                                                                                                            caller_ngxkxje[
                                                                                                                            out caller_ocgngvc.
                                                                                                                            <_One>.
                                                                                                                            (var_wopbwi, capOut).
                                                                                                                            capOut.
                                                                                                                            <OUT caller_ngxkxje>^.
                                                                                                                            in _Counter_instance . in behaviour . in inc.
                                                                                                                            out inc . out behaviour . out _Counter_instance.
                                                                                                                            <caller_ngxkxje, _new, _Counter>^.
                                                                                                                            in _Counter.
                                                                                                                            <caller_inner>.
                                                                                                                            (capIn).
                                                                                                                            capIn.
                                                                                                                            ( 
                                                                                                                              (escape).
                                                                                                                              escape.
                                                                                                                              0
                                                                                                                            |
                                                                                                                              ().
                                                                                                                              <OUT caller_inner, caller_inner, out _Counter>.
                                                                                                                              caller_inner[
                                                                                                                                            out caller_ngxkxje.
                                                                                                                                            (new _nothing_)
                                                                                                                                            (
                                                                                                                                              <var_wopbwi, IN _nothing_>.
                                                                                                                                              (var_mavpnld, capOut).
                                                                                                                                              capOut.
                                                                                                                                              <OUT _nothing_ . OUT _nothing_>^.
                                                                                                                                              ( 
                                                                                                                                                _nothing_[
                                                                                                                                                           out caller_inner.
                                                                                                                                                           in var_mavpnld.
                                                                                                                                                           out var_mavpnld.
                                                                                                                                                           in caller_inner.
                                                                                                                                                           0
                                                                                                                                                         ]
                                                                                                                                              |
                                                                                                                                                IN _nothing_.
                                                                                                                                                in _Counter_instance . in behaviour . in inc.
                                                                                                                                                future[
                                                                                                                                                        out caller_inner.
                                                                                                                                                        out inc.
                                                                                                                                                        out behaviour.
                                                                                                                                                        !
                                                                                                                                                          (methodName, callerName, leavingName).
                                                                                                                                                          (new wrapperInstance)
                                                                                                                                                          (
                                                                                                                                                            <in future . in wrapperInstance>.
                                                                                                                                                            IN callerName.
                                                                                                                                                            <OUT wrapperInstance . OUT leavingName, OUT wrapperInstance . IN leavingName, _misc_>^.
                                                                                                                                                            wrapperInstance[
                                                                                                                                                                             IN callerName.
                                                                                                                                                                             <out wrapperInstance>callerName.
                                                                                                                                                                             out future . out _Counter_instance.
                                                                                                                                                                             <wrapperInstance, methodName, var_mavpnld>^.
                                                                                                                                                                             in var_mavpnld.
                                                                                                                                                                             <leavingName>.
                                                                                                                                                                             (capIn).
                                                                                                                                                                             capIn.
                                                                                                                                                                             ( 
                                                                                                                                                                               (escape).
                                                                                                                                                                               escape.
                                                                                                                                                                               0
                                                                                                                                                                             |
                                                                                                                                                                               ().
                                                                                                                                                                               <>callerName.
                                                                                                                                                                               (cap, innerName, capEscapeTail)callerName.
                                                                                                                                                                               <OUT callerName . cap, innerName, out var_mavpnld . in _Counter_instance . capEscapeTail>.
                                                                                                                                                                               0
                                                                                                                                                                             )
                                                                                                                                                                           ]
                                                                                                                                                          |
                                                                                                                                                            <future>^.
                                                                                                                                                            0
                                                                                                                                                          )
                                                                                                                                                      ]
                                                                                                                                              )
                                                                                                                                            )
                                                                                                                                          ]
                                                                                                                            )
                                                                                                                          ]
                                                                                                          )
                                                                                                        ]
                                                                                        )
                                                                                      )
                                                                                    )
                                                                                  )
                                                                                )
                                                                              ]
                                                                         |
                                                                           dec[
                                                                                (callerName, leavingName).
                                                                                IN callerName.
                                                                                <>callerName.
                                                                                (cap, payload, capEscapeTail)callerName.
                                                                                cap.
                                                                                ()payload.
                                                                                <_Counter_instance, out dec . out behaviour . capEscapeTail>payload.
                                                                                <out dec . out behaviour . out _Counter_instance>callerName.
                                                                                (new caller_inner)
                                                                                (
                                                                                  (new caller_fvmit)
                                                                                  (
                                                                                    (new caller_tdvirxc)
                                                                                    (
                                                                                      (new future)
                                                                                      (
                                                                                        <OUT caller_tdvirxc . OUT callerName . OUT leavingName, OUT caller_tdvirxc . IN caller_fvmit . OUT caller_fvmit . IN caller_inner .  OUT checkerChanger . OUT callerName . OUT leavingName . OUT future>^.
                                                                                        ( 
                                                                                          IN caller_fvmit . IN caller_inner.
                                                                                          0
                                                                                        |
                                                                                          OUT future.
                                                                                          checkerChanger[
                                                                                                          out dec.
                                                                                                          out behaviour.
                                                                                                          in checker.
                                                                                                          <IN *>^.
                                                                                                          0
                                                                                                        ]
                                                                                        |
                                                                                          <future>.
                                                                                          0
                                                                                        |
                                                                                          caller_tdvirxc[
                                                                                                          out dec . out behaviour . out _Counter_instance.
                                                                                                          <caller_tdvirxc, minus, num>^.
                                                                                                          in num.
                                                                                                          <caller_fvmit>.
                                                                                                          (capIn).
                                                                                                          capIn.
                                                                                                          ( 
                                                                                                            (escape).
                                                                                                            escape.
                                                                                                            0
                                                                                                          |
                                                                                                            ().
                                                                                                            <OUT caller_fvmit, caller_fvmit, out num>.
                                                                                                            caller_fvmit[
                                                                                                                          out caller_tdvirxc.
                                                                                                                          <_One>.
                                                                                                                          (var_tafioxb, capOut).
                                                                                                                          capOut.
                                                                                                                          <OUT caller_fvmit>^.
                                                                                                                          in _Counter_instance . in behaviour . in dec.
                                                                                                                          out dec . out behaviour . out _Counter_instance.
                                                                                                                          <caller_fvmit, _new, _Counter>^.
                                                                                                                          in _Counter.
                                                                                                                          <caller_inner>.
                                                                                                                          (capIn).
                                                                                                                          capIn.
                                                                                                                          ( 
                                                                                                                            (escape).
                                                                                                                            escape.
                                                                                                                            0
                                                                                                                          |
                                                                                                                            ().
                                                                                                                            <OUT caller_inner, caller_inner, out _Counter>.
                                                                                                                            caller_inner[
                                                                                                                                          out caller_fvmit.
                                                                                                                                          (new _nothing_)
                                                                                                                                          (
                                                                                                                                            <var_tafioxb, IN _nothing_>.
                                                                                                                                            (var_dnpyqtg, capOut).
                                                                                                                                            capOut.
                                                                                                                                            <OUT _nothing_ . OUT _nothing_>^.
                                                                                                                                            ( 
                                                                                                                                              _nothing_[
                                                                                                                                                         out caller_inner.
                                                                                                                                                         in var_dnpyqtg.
                                                                                                                                                         out var_dnpyqtg.
                                                                                                                                                         in caller_inner.
                                                                                                                                                         0
                                                                                                                                                       ]
                                                                                                                                            |
                                                                                                                                              IN _nothing_.
                                                                                                                                              in _Counter_instance . in behaviour . in dec.
                                                                                                                                              future[
                                                                                                                                                      out caller_inner.
                                                                                                                                                      out dec.
                                                                                                                                                      out behaviour.
                                                                                                                                                      !
                                                                                                                                                        (methodName, callerName, leavingName).
                                                                                                                                                        (new wrapperInstance)
                                                                                                                                                        (
                                                                                                                                                          <in future . in wrapperInstance>.
                                                                                                                                                          IN callerName.
                                                                                                                                                          <OUT wrapperInstance . OUT leavingName, OUT wrapperInstance . IN leavingName, _misc_>^.
                                                                                                                                                          wrapperInstance[
                                                                                                                                                                           IN callerName.
                                                                                                                                                                           <out wrapperInstance>callerName.
                                                                                                                                                                           out future . out _Counter_instance.
                                                                                                                                                                           <wrapperInstance, methodName, var_dnpyqtg>^.
                                                                                                                                                                           in var_dnpyqtg.
                                                                                                                                                                           <leavingName>.
                                                                                                                                                                           (capIn).
                                                                                                                                                                           capIn.
                                                                                                                                                                           ( 
                                                                                                                                                                             (escape).
                                                                                                                                                                             escape.
                                                                                                                                                                             0
                                                                                                                                                                           |
                                                                                                                                                                             ().
                                                                                                                                                                             <>callerName.
                                                                                                                                                                             (cap, innerName, capEscapeTail)callerName.
                                                                                                                                                                             <OUT callerName . cap, innerName, out var_dnpyqtg . in _Counter_instance . capEscapeTail>.
                                                                                                                                                                             0
                                                                                                                                                                           )
                                                                                                                                                                         ]
                                                                                                                                                        |
                                                                                                                                                          <future>^.
                                                                                                                                                          0
                                                                                                                                                        )
                                                                                                                                                    ]
                                                                                                                                            )
                                                                                                                                          )
                                                                                                                                        ]
                                                                                                                          )
                                                                                                                        ]
                                                                                                          )
                                                                                                        ]
                                                                                        )
                                                                                      )
                                                                                    )
                                                                                  )
                                                                                )
                                                                              ]
                                                                         )
                                                                       ]
                                                            )
                                                          |
                                                            <IN checkerChanger>checker.
                                                            <IN inc>checker.
                                                            <IN dec>checker.
                                                            !
                                                              (callerName, methodName).
                                                              ( 
                                                                methodName[
                                                                            in checker . out checker.
                                                                            0
                                                                          ]
                                                              |
                                                                OUT methodName.
                                                                (go, behaviour)starter.
                                                                IN callerName.
                                                                (leavingName)callerName.
                                                                <methodName, callerName, leavingName>behaviour.
                                                                (capIn)behaviour.
                                                                <capIn>callerName.
                                                                (capOut, capAll, _misc_).
                                                                <capOut>^.
                                                                capAll.
                                                                (future).
                                                                go[
                                                                    in starter.
                                                                    <future>.
                                                                    0
                                                                  ]
                                                            )
                                                          |
                                                            checker[
                                                                     !
                                                                       (methNameCap).
                                                                       !
                                                                         methNameCap.
                                                                         0
                                                                   ]
                                                          |
                                                            !
                                                              (callerName, methodName, leavingName, behaviour).
                                                              IN callerName.
                                                              <methodName, callerName, leavingName>behaviour.
                                                              (capIn)behaviour.
                                                              <capIn>callerName.
                                                              (capOut, capAll, _misc_).
                                                              <capOut>^.
                                                              capAll.
                                                              (future).
                                                              0
                                                          )
                                                        ]
                                     )
                                   )
                               ]
                         ]
              )
            |
              <IN checkerChanger>checker.
              <IN _new>checker.
              !
                (callerName, methodName).
                ( 
                  methodName[
                              in checker . out checker.
                              0
                            ]
                |
                  OUT methodName.
                  (go, behaviour)starter.
                  IN callerName.
                  (leavingName)callerName.
                  <methodName, callerName, leavingName>behaviour.
                  (capIn)behaviour.
                  <capIn>callerName.
                  (capOut, capAll, _misc_).
                  <capOut>^.
                  capAll.
                  (future).
                  go[
                      in starter.
                      <future>.
                      0
                    ]
              )
            |
              checker[
                       !
                         (methNameCap).
                         !
                           methNameCap.
                           0
                     ]
            |
              !
                (callerName, methodName, leavingName, behaviour).
                IN callerName.
                <methodName, callerName, leavingName>behaviour.
                (capIn)behaviour.
                <capIn>callerName.
                (capOut, capAll, _misc_).
                <capOut>^.
                capAll.
                (future).
                0
            )
          ]
)