<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'> <html xmlns='http://www.w3.org/1999/xhtml'> <head> <title>doc_inner/gnu_global/S/2752.html</title> <meta name='robots' content='noindex,nofollow' /> <meta name='generator' content='GLOBAL-6.6.14' /> <meta http-equiv='Content-Style-Type' content='text/css' /> <link rel='stylesheet' type='text/css' href='../style.css' /> </head> <body> <a id='TOP' name='TOP'></a><h2 class='header'><a href='../mains.html'>root</a>/<a href='../files/8303.html'>doc_inner</a>/<a href='../files/8306.html'>gnu_global</a>/<a href='../files/8311.html'>S</a>/2752.html</h2> <em class='comment'>/* [<][>][^][v][top]<a href='#BOTTOM'>[bottom]</a><a href='../mains.html'>[index]</a><a href='../help.html'>[help]</a> */</em> <hr /> <pre> <a id='L1' name='L1'></a><!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'> <a id='L2' name='L2'></a><html xmlns='http://www.w3.org/1999/xhtml'> <a id='L3' name='L3'></a><head> <a id='L4' name='L4'></a><title>doc/casl2_spec/img/r_1-03.svg</title> <a id='L5' name='L5'></a><meta name='robots' content='noindex,nofollow' /> <a id='L6' name='L6'></a><meta name='generator' content='GLOBAL-6.6.14' /> <a id='L7' name='L7'></a><meta http-equiv='Content-Style-Type' content='text/css' /> <a id='L8' name='L8'></a><link rel='stylesheet' type='text/css' href='../style.css' /> <a id='L9' name='L9'></a></head> <a id='L10' name='L10'></a><body> <a id='L11' name='L11'></a><a id='TOP' name='TOP'></a><h2 class='header'><a href='../mains.html'>root</a>/<a href='../files/2961.html'>doc</a>/<a href='../files/2962.html'>casl2_spec</a>/<a href='../files/2963.html'>img</a>/r_1-03.svg</h2> <a id='L12' name='L12'></a><em class='comment'>/* [&lt;][&gt;][^][v][top]<a href='#BOTTOM'>[bottom]</a><a href='../mains.html'>[index]</a><a href='../help.html'>[help]</a> */</em> <a id='L13' name='L13'></a><hr /> <a id='L14' name='L14'></a><pre> <a id='L15' name='L15'></a><a id='L1' name='L1'></a>&lt;?xml version="1.0" encoding="utf-8"?&gt; <a id='L16' name='L16'></a><a id='L2' name='L2'></a>&lt;svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="750" height="100"&gt; <a id='L17' name='L17'></a><a id='L3' name='L3'></a> <a id='L18' name='L18'></a><a id='L4' name='L4'></a> &lt;g id="SRL"&gt; <a id='L19' name='L19'></a><a id='L5' name='L5'></a> &lt;g fill="none" stroke="black" stroke-width="1"&gt; <a id='L20' name='L20'></a><a id='L6' name='L6'></a> &lt;rect x="100" y="60" width="480" height="30" /&gt; <a id='L21' name='L21'></a><a id='L7' name='L7'></a> &lt;line x1="130" y1="60" x2="130" y2="90" /&gt; <a id='L22' name='L22'></a><a id='L8' name='L8'></a> &lt;line x1="160" y1="60" x2="160" y2="90" /&gt; <a id='L23' name='L23'></a><a id='L9' name='L9'></a> &lt;line x1="190" y1="60" x2="190" y2="90" /&gt; <a id='L24' name='L24'></a><a id='L10' name='L10'></a> &lt;line x1="220" y1="60" x2="220" y2="90" /&gt; <a id='L25' name='L25'></a><a id='L11' name='L11'></a> &lt;line x1="250" y1="60" x2="250" y2="90" /&gt; <a id='L26' name='L26'></a><a id='L12' name='L12'></a> &lt;line x1="280" y1="60" x2="280" y2="90" /&gt; <a id='L27' name='L27'></a><a id='L13' name='L13'></a> &lt;line x1="310" y1="60" x2="310" y2="90" /&gt; <a id='L28' name='L28'></a><a id='L14' name='L14'></a> &lt;line x1="340" y1="60" x2="340" y2="90" /&gt; <a id='L29' name='L29'></a><a id='L15' name='L15'></a> &lt;line x1="370" y1="60" x2="370" y2="90" /&gt; <a id='L30' name='L30'></a><a id='L16' name='L16'></a> &lt;line x1="400" y1="60" x2="400" y2="90" /&gt; <a id='L31' name='L31'></a><a id='L17' name='L17'></a> &lt;line x1="430" y1="60" x2="430" y2="90" /&gt; <a id='L32' name='L32'></a><a id='L18' name='L18'></a> &lt;line x1="460" y1="60" x2="460" y2="90" /&gt; <a id='L33' name='L33'></a><a id='L19' name='L19'></a> &lt;line x1="490" y1="60" x2="490" y2="90" /&gt; <a id='L34' name='L34'></a><a id='L20' name='L20'></a> &lt;line x1="520" y1="60" x2="520" y2="90" /&gt; <a id='L35' name='L35'></a><a id='L21' name='L21'></a> &lt;line x1="550" y1="60" x2="550" y2="90" /&gt; <a id='L36' name='L36'></a><a id='L22' name='L22'></a> &lt;rect x="620" y="60" width="30" height="30" /&gt; <a id='L37' name='L37'></a><a id='L23' name='L23'></a> &lt;/g&gt; <a id='L38' name='L38'></a><a id='L24' name='L24'></a> &lt;g&gt; <a id='L39' name='L39'></a><a id='L25' name='L25'></a> &lt;g fill="none" stroke="black" stroke-width="2"&gt; <a id='L40' name='L40'></a><a id='L26' name='L26'></a> &lt;path d="M115,75 C180,0 50,50 100,75" /&gt; <a id='L41' name='L41'></a><a id='L27' name='L27'></a> &lt;path d="M90,70 L100,75 L90,80" transform="rotate(35,100,75)" /&gt; <a id='L42' name='L42'></a><a id='L28' name='L28'></a> <a id='L43' name='L43'></a><a id='L29' name='L29'></a> &lt;line x1="115" y1="75" x2="550" y2="75" stroke-dasharray="5" /&gt; <a id='L44' name='L44'></a><a id='L30' name='L30'></a> &lt;path d="M540,70 L550,75 L540,80" /&gt; <a id='L45' name='L45'></a><a id='L31' name='L31'></a> &lt;path d="M610,70 L620,75 L610,80" /&gt; <a id='L46' name='L46'></a><a id='L32' name='L32'></a> &lt;line x1="565" y1="75" x2="620" y2="75" /&gt; <a id='L47' name='L47'></a><a id='L33' name='L33'></a> &lt;/g&gt; <a id='L48' name='L48'></a><a id='L34' name='L34'></a> &lt;circle cx="115" cy="75" r="5" fill="black" /&gt; <a id='L49' name='L49'></a><a id='L35' name='L35'></a> &lt;circle cx="565" cy="75" r="5" fill="black" /&gt; <a id='L50' name='L50'></a><a id='L36' name='L36'></a> &lt;/g&gt; <a id='L51' name='L51'></a><a id='L37' name='L37'></a> &lt;g font-family="monospace" font-size="10pt" fill="black" text-anchor="middle"&gt; <a id='L52' name='L52'></a><a id='L38' name='L38'></a> &lt;text x="115" y="55"&gt;15&lt;/text&gt; <a id='L53' name='L53'></a><a id='L39' name='L39'></a> &lt;text x="145" y="55"&gt;14&lt;/text&gt; <a id='L54' name='L54'></a><a id='L40' name='L40'></a> &lt;text x="175" y="55"&gt;13&lt;/text&gt; <a id='L55' name='L55'></a><a id='L41' name='L41'></a> &lt;text x="205" y="55"&gt;12&lt;/text&gt; <a id='L56' name='L56'></a><a id='L42' name='L42'></a> &lt;text x="235" y="55"&gt;11&lt;/text&gt; <a id='L57' name='L57'></a><a id='L43' name='L43'></a> &lt;text x="265" y="55"&gt;10&lt;/text&gt; <a id='L58' name='L58'></a><a id='L44' name='L44'></a> &lt;text x="295" y="55"&gt;9&lt;/text&gt; <a id='L59' name='L59'></a><a id='L45' name='L45'></a> &lt;text x="325" y="55"&gt;8&lt;/text&gt; <a id='L60' name='L60'></a><a id='L46' name='L46'></a> &lt;text x="355" y="55"&gt;7&lt;/text&gt; <a id='L61' name='L61'></a><a id='L47' name='L47'></a> &lt;text x="385" y="55"&gt;6&lt;/text&gt; <a id='L62' name='L62'></a><a id='L48' name='L48'></a> &lt;text x="415" y="55"&gt;5&lt;/text&gt; <a id='L63' name='L63'></a><a id='L49' name='L49'></a> &lt;text x="445" y="55"&gt;4&lt;/text&gt; <a id='L64' name='L64'></a><a id='L50' name='L50'></a> &lt;text x="475" y="55"&gt;3&lt;/text&gt; <a id='L65' name='L65'></a><a id='L51' name='L51'></a> &lt;text x="505" y="55"&gt;2&lt;/text&gt; <a id='L66' name='L66'></a><a id='L52' name='L52'></a> &lt;text x="535" y="55"&gt;1&lt;/text&gt; <a id='L67' name='L67'></a><a id='L53' name='L53'></a> &lt;text x="565" y="55"&gt;0&lt;/text&gt; <a id='L68' name='L68'></a><a id='L54' name='L54'></a> &lt;text x="635" y="55"&gt;OF&lt;/text&gt; <a id='L69' name='L69'></a><a id='L55' name='L55'></a> &lt;/g&gt; <a id='L70' name='L70'></a><a id='L56' name='L56'></a> &lt;/g&gt; <a id='L71' name='L71'></a><a id='L57' name='L57'></a>&lt;/svg&gt; <a id='L72' name='L72'></a></pre> <a id='L73' name='L73'></a><hr /> <a id='L74' name='L74'></a><a id='BOTTOM' name='BOTTOM'></a> <a id='L75' name='L75'></a><em class='comment'>/* [&lt;][&gt;][^][v]<a href='#TOP'>[top]</a>[bottom]<a href='../mains.html'>[index]</a><a href='../help.html'>[help]</a> */</em> <a id='L76' name='L76'></a></body> <a id='L77' name='L77'></a></html> </pre> <hr /> <a id='BOTTOM' name='BOTTOM'></a> <em class='comment'>/* [<][>][^][v]<a href='#TOP'>[top]</a>[bottom]<a href='../mains.html'>[index]</a><a href='../help.html'>[help]</a> */</em> </body> </html>