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

<b>take </b>
 <a href="ami_1.html#G1">AMI-Struct</a>(# <a href="numbers.html#K5">NAT</a> ,0,<a href="ami_2.html#K3">SCM-Instr-Loc</a> ,<span class="p1">(<span class="default"><a href="gr_cy_1.html#K1">Segm</a> 8</span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K1">SCM-Instr</a> <font color="Maroon">c<sub>1</sub></font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K2">SCM-OK</a> <font color="Maroon">c<sub>1</sub></font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K16">SCM-Exec</a> <font color="Maroon">c<sub>1</sub></font></span>)</span> #)
;<br/>

<b>thus </b><a NAME="E1:1_1_1"/>
( the <a href="struct_0.html#U1">carrier</a> of <a href="ami_1.html#G1">AMI-Struct</a>(# <a href="numbers.html#K5">NAT</a> ,0,<a href="ami_2.html#K3">SCM-Instr-Loc</a> ,<span class="p1">(<span class="default"><a href="gr_cy_1.html#K1">Segm</a> 8</span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K1">SCM-Instr</a> <font color="Maroon">c<sub>1</sub></font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K2">SCM-OK</a> <font color="Maroon">c<sub>1</sub></font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K16">SCM-Exec</a> <font color="Maroon">c<sub>1</sub></font></span>)</span> #) <a href="hidden.html#R1">=</a>  <a href="numbers.html#K5">NAT</a>  &amp; the <a href="ami_1.html#U1">Instruction-Counter</a> of <a href="ami_1.html#G1">AMI-Struct</a>(# <a href="numbers.html#K5">NAT</a> ,0,<a href="ami_2.html#K3">SCM-Instr-Loc</a> ,<span class="p1">(<span class="default"><a href="gr_cy_1.html#K1">Segm</a> 8</span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K1">SCM-Instr</a> <font color="Maroon">c<sub>1</sub></font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K2">SCM-OK</a> <font color="Maroon">c<sub>1</sub></font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K16">SCM-Exec</a> <font color="Maroon">c<sub>1</sub></font></span>)</span> #) <a href="hidden.html#R1">=</a> 0 &amp; the <a href="ami_1.html#U2">Instruction-Locations</a> of <a href="ami_1.html#G1">AMI-Struct</a>(# <a href="numbers.html#K5">NAT</a> ,0,<a href="ami_2.html#K3">SCM-Instr-Loc</a> ,<span class="p1">(<span class="default"><a href="gr_cy_1.html#K1">Segm</a> 8</span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K1">SCM-Instr</a> <font color="Maroon">c<sub>1</sub></font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K2">SCM-OK</a> <font color="Maroon">c<sub>1</sub></font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K16">SCM-Exec</a> <font color="Maroon">c<sub>1</sub></font></span>)</span> #) <a href="hidden.html#R1">=</a>  <a href="ami_2.html#K3">SCM-Instr-Loc</a>  &amp; the <a href="ami_1.html#U3">Instruction-Codes</a> of <a href="ami_1.html#G1">AMI-Struct</a>(# <a href="numbers.html#K5">NAT</a> ,0,<a href="ami_2.html#K3">SCM-Instr-Loc</a> ,<span class="p1">(<span class="default"><a href="gr_cy_1.html#K1">Segm</a> 8</span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K1">SCM-Instr</a> <font color="Maroon">c<sub>1</sub></font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K2">SCM-OK</a> <font color="Maroon">c<sub>1</sub></font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K16">SCM-Exec</a> <font color="Maroon">c<sub>1</sub></font></span>)</span> #) <a href="hidden.html#R1">=</a>  <a href="gr_cy_1.html#K1">Segm</a> 8 &amp; the <a href="ami_1.html#U4">Instructions</a> of <a href="ami_1.html#G1">AMI-Struct</a>(# <a href="numbers.html#K5">NAT</a> ,0,<a href="ami_2.html#K3">SCM-Instr-Loc</a> ,<span class="p1">(<span class="default"><a href="gr_cy_1.html#K1">Segm</a> 8</span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K1">SCM-Instr</a> <font color="Maroon">c<sub>1</sub></font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K2">SCM-OK</a> <font color="Maroon">c<sub>1</sub></font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K16">SCM-Exec</a> <font color="Maroon">c<sub>1</sub></font></span>)</span> #) <a href="hidden.html#R1">=</a>  <a href="scmring1.html#K1">SCM-Instr</a> <font color="Maroon">c<sub>1</sub></font> &amp; the <a href="ami_1.html#U5">Object-Kind</a> of <a href="ami_1.html#G1">AMI-Struct</a>(# <a href="numbers.html#K5">NAT</a> ,0,<a href="ami_2.html#K3">SCM-Instr-Loc</a> ,<span class="p1">(<span class="default"><a href="gr_cy_1.html#K1">Segm</a> 8</span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K1">SCM-Instr</a> <font color="Maroon">c<sub>1</sub></font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K2">SCM-OK</a> <font color="Maroon">c<sub>1</sub></font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K16">SCM-Exec</a> <font color="Maroon">c<sub>1</sub></font></span>)</span> #) <a href="funct_2.html#R1">=</a>  <a href="scmring1.html#K2">SCM-OK</a> <font color="Maroon">c<sub>1</sub></font> &amp; the <a href="ami_1.html#U6">Execution</a> of <a href="ami_1.html#G1">AMI-Struct</a>(# <a href="numbers.html#K5">NAT</a> ,0,<a href="ami_2.html#K3">SCM-Instr-Loc</a> ,<span class="p1">(<span class="default"><a href="gr_cy_1.html#K1">Segm</a> 8</span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K1">SCM-Instr</a> <font color="Maroon">c<sub>1</sub></font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K2">SCM-OK</a> <font color="Maroon">c<sub>1</sub></font></span>)</span>,<span class="p1">(<span class="default"><a href="scmring1.html#K16">SCM-Exec</a> <font color="Maroon">c<sub>1</sub></font></span>)</span> #) <a href="hidden.html#R1">=</a>  <a href="scmring1.html#K16">SCM-Exec</a> <font color="Maroon">c<sub>1</sub></font> )
 ;<br/>


</div>
