<?xml version="1.0"?>
<div class="add">

<b>take </b>
 <a href="ami_1.html#G1" title="AMI_1:aggr.1">AMI-Struct</a>(# <a href="numbers.html#K5" title="NUMBERS:func.5">NAT</a> ,0,<a href="ami_2.html#K5" title="AMI_2:func.5">SCM-Instr-Loc</a> ,<span class="p1">(<span class="default"><a href="gr_cy_1.html#K1" title="GR_CY_1:func.1">Segm</a> 8</span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K1" title="SCMRING1:func.1">SCM-Instr</a> <font color="Maroon" title="c1">R</font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K2" title="SCMRING1:func.2">SCM-OK</a> <font color="Maroon" title="c1">R</font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K16" title="SCMRING1:func.16">SCM-Exec</a> <font color="Maroon" title="c1">R</font></span>)</span> #)
;<br/>

<b>thus </b><a NAME="E1:1_1_1"/>
( the <a href="struct_0.html#U1" title="STRUCT_0:sel.1">carrier</a> of <a href="ami_1.html#G1" title="AMI_1:aggr.1">AMI-Struct</a>(# <a href="numbers.html#K5" title="NUMBERS:func.5">NAT</a> ,0,<a href="ami_2.html#K5" title="AMI_2:func.5">SCM-Instr-Loc</a> ,<span class="p1">(<span class="default"><a href="gr_cy_1.html#K1" title="GR_CY_1:func.1">Segm</a> 8</span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K1" title="SCMRING1:func.1">SCM-Instr</a> <font color="Maroon" title="c1">R</font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K2" title="SCMRING1:func.2">SCM-OK</a> <font color="Maroon" title="c1">R</font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K16" title="SCMRING1:func.16">SCM-Exec</a> <font color="Maroon" title="c1">R</font></span>)</span> #) <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a>  <a href="numbers.html#K5" title="NUMBERS:func.5">NAT</a>  &amp; the <a href="ami_1.html#U1" title="AMI_1:sel.1">Instruction-Counter</a> of <a href="ami_1.html#G1" title="AMI_1:aggr.1">AMI-Struct</a>(# <a href="numbers.html#K5" title="NUMBERS:func.5">NAT</a> ,0,<a href="ami_2.html#K5" title="AMI_2:func.5">SCM-Instr-Loc</a> ,<span class="p1">(<span class="default"><a href="gr_cy_1.html#K1" title="GR_CY_1:func.1">Segm</a> 8</span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K1" title="SCMRING1:func.1">SCM-Instr</a> <font color="Maroon" title="c1">R</font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K2" title="SCMRING1:func.2">SCM-OK</a> <font color="Maroon" title="c1">R</font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K16" title="SCMRING1:func.16">SCM-Exec</a> <font color="Maroon" title="c1">R</font></span>)</span> #) <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 0 &amp; the <a href="ami_1.html#U2" title="AMI_1:sel.2">Instruction-Locations</a> of <a href="ami_1.html#G1" title="AMI_1:aggr.1">AMI-Struct</a>(# <a href="numbers.html#K5" title="NUMBERS:func.5">NAT</a> ,0,<a href="ami_2.html#K5" title="AMI_2:func.5">SCM-Instr-Loc</a> ,<span class="p1">(<span class="default"><a href="gr_cy_1.html#K1" title="GR_CY_1:func.1">Segm</a> 8</span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K1" title="SCMRING1:func.1">SCM-Instr</a> <font color="Maroon" title="c1">R</font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K2" title="SCMRING1:func.2">SCM-OK</a> <font color="Maroon" title="c1">R</font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K16" title="SCMRING1:func.16">SCM-Exec</a> <font color="Maroon" title="c1">R</font></span>)</span> #) <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a>  <a href="ami_2.html#K5" title="AMI_2:func.5">SCM-Instr-Loc</a>  &amp; the <a href="ami_1.html#U3" title="AMI_1:sel.3">Instruction-Codes</a> of <a href="ami_1.html#G1" title="AMI_1:aggr.1">AMI-Struct</a>(# <a href="numbers.html#K5" title="NUMBERS:func.5">NAT</a> ,0,<a href="ami_2.html#K5" title="AMI_2:func.5">SCM-Instr-Loc</a> ,<span class="p1">(<span class="default"><a href="gr_cy_1.html#K1" title="GR_CY_1:func.1">Segm</a> 8</span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K1" title="SCMRING1:func.1">SCM-Instr</a> <font color="Maroon" title="c1">R</font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K2" title="SCMRING1:func.2">SCM-OK</a> <font color="Maroon" title="c1">R</font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K16" title="SCMRING1:func.16">SCM-Exec</a> <font color="Maroon" title="c1">R</font></span>)</span> #) <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a>  <a href="gr_cy_1.html#K1" title="GR_CY_1:func.1">Segm</a> 8 &amp; the <a href="ami_1.html#U4" title="AMI_1:sel.4">Instructions</a> of <a href="ami_1.html#G1" title="AMI_1:aggr.1">AMI-Struct</a>(# <a href="numbers.html#K5" title="NUMBERS:func.5">NAT</a> ,0,<a href="ami_2.html#K5" title="AMI_2:func.5">SCM-Instr-Loc</a> ,<span class="p1">(<span class="default"><a href="gr_cy_1.html#K1" title="GR_CY_1:func.1">Segm</a> 8</span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K1" title="SCMRING1:func.1">SCM-Instr</a> <font color="Maroon" title="c1">R</font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K2" title="SCMRING1:func.2">SCM-OK</a> <font color="Maroon" title="c1">R</font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K16" title="SCMRING1:func.16">SCM-Exec</a> <font color="Maroon" title="c1">R</font></span>)</span> #) <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a>  <a href="scmring1.html#K1" title="SCMRING1:func.1">SCM-Instr</a> <font color="Maroon" title="c1">R</font> &amp; the <a href="ami_1.html#U5" title="AMI_1:sel.5">Object-Kind</a> of <a href="ami_1.html#G1" title="AMI_1:aggr.1">AMI-Struct</a>(# <a href="numbers.html#K5" title="NUMBERS:func.5">NAT</a> ,0,<a href="ami_2.html#K5" title="AMI_2:func.5">SCM-Instr-Loc</a> ,<span class="p1">(<span class="default"><a href="gr_cy_1.html#K1" title="GR_CY_1:func.1">Segm</a> 8</span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K1" title="SCMRING1:func.1">SCM-Instr</a> <font color="Maroon" title="c1">R</font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K2" title="SCMRING1:func.2">SCM-OK</a> <font color="Maroon" title="c1">R</font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K16" title="SCMRING1:func.16">SCM-Exec</a> <font color="Maroon" title="c1">R</font></span>)</span> #) <a href="funct_2.html#R1" title="FUNCT_2:pred.1">=</a>  <a href="scmring1.html#K2" title="SCMRING1:func.2">SCM-OK</a> <font color="Maroon" title="c1">R</font> &amp; the <a href="ami_1.html#U6" title="AMI_1:sel.6">Execution</a> of <a href="ami_1.html#G1" title="AMI_1:aggr.1">AMI-Struct</a>(# <a href="numbers.html#K5" title="NUMBERS:func.5">NAT</a> ,0,<a href="ami_2.html#K5" title="AMI_2:func.5">SCM-Instr-Loc</a> ,<span class="p1">(<span class="default"><a href="gr_cy_1.html#K1" title="GR_CY_1:func.1">Segm</a> 8</span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K1" title="SCMRING1:func.1">SCM-Instr</a> <font color="Maroon" title="c1">R</font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K2" title="SCMRING1:func.2">SCM-OK</a> <font color="Maroon" title="c1">R</font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K16" title="SCMRING1:func.16">SCM-Exec</a> <font color="Maroon" title="c1">R</font></span>)</span> #) <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a>  <a href="scmring1.html#K16" title="SCMRING1:func.16">SCM-Exec</a> <font color="Maroon" title="c1">R</font> )
 ;<br/>


</div>
