<!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/8455.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/21157.html'>doc_inner</a>/<a href='../files/21160.html'>gnu_global</a>/<a href='../files/21165.html'>S</a>/8455.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_inner/gnu_global/S/9858.html</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/15609.html'>doc_inner</a>/<a href='../files/15612.html'>gnu_global</a>/<a href='../files/15617.html'>S</a>/9858.html</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;!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'&gt; <a id='L16' name='L16'></a><a id='L2' name='L2'></a>&lt;html xmlns='http://www.w3.org/1999/xhtml'&gt; <a id='L17' name='L17'></a><a id='L3' name='L3'></a>&lt;head&gt; <a id='L18' name='L18'></a><a id='L4' name='L4'></a>&lt;title&gt;doc/casl2_spec/img/r_1-04.svg&lt;/title&gt; <a id='L19' name='L19'></a><a id='L5' name='L5'></a>&lt;meta name='robots' content='noindex,nofollow' /&gt; <a id='L20' name='L20'></a><a id='L6' name='L6'></a>&lt;meta name='generator' content='GLOBAL-6.6.14' /&gt; <a id='L21' name='L21'></a><a id='L7' name='L7'></a>&lt;meta http-equiv='Content-Style-Type' content='text/css' /&gt; <a id='L22' name='L22'></a><a id='L8' name='L8'></a>&lt;link rel='stylesheet' type='text/css' href='../style.css' /&gt; <a id='L23' name='L23'></a><a id='L9' name='L9'></a>&lt;/head&gt; <a id='L24' name='L24'></a><a id='L10' name='L10'></a>&lt;body&gt; <a id='L25' name='L25'></a><a id='L11' name='L11'></a>&lt;a id='TOP' name='TOP'&gt;&lt;/a&gt;&lt;h2 class='header'&gt;&lt;a href='../mains.html'&gt;root&lt;/a&gt;/&lt;a href='../files/10057.html'&gt;doc&lt;/a&gt;/&lt;a href='../files/10058.html'&gt;casl2_spec&lt;/a&gt;/&lt;a href='../files/10059.html'&gt;img&lt;/a&gt;/r_1-04.svg&lt;/h2&gt; <a id='L26' name='L26'></a><a id='L12' name='L12'></a>&lt;em class='comment'&gt;/* [&amp;lt;][&amp;gt;][^][v][top]&lt;a href='#BOTTOM'&gt;[bottom]&lt;/a&gt;&lt;a href='../mains.html'&gt;[index]&lt;/a&gt;&lt;a href='../help.html'&gt;[help]&lt;/a&gt; */&lt;/em&gt; <a id='L27' name='L27'></a><a id='L13' name='L13'></a>&lt;hr /&gt; <a id='L28' name='L28'></a><a id='L14' name='L14'></a>&lt;pre&gt; <a id='L29' name='L29'></a><a id='L15' name='L15'></a>&lt;a id='L1' name='L1'&gt;&lt;/a&gt;&amp;lt;?xml version="1.0" encoding="utf-8"?&amp;gt; <a id='L30' name='L30'></a><a id='L16' name='L16'></a>&lt;a id='L2' name='L2'&gt;&lt;/a&gt;&amp;lt;svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="750" height="100"&amp;gt; <a id='L31' name='L31'></a><a id='L17' name='L17'></a>&lt;a id='L3' name='L3'&gt;&lt;/a&gt; <a id='L32' name='L32'></a><a id='L18' name='L18'></a>&lt;a id='L4' name='L4'&gt;&lt;/a&gt; &amp;lt;g id="SLA"&amp;gt; <a id='L33' name='L33'></a><a id='L19' name='L19'></a>&lt;a id='L5' name='L5'&gt;&lt;/a&gt; &amp;lt;g fill="none" stroke="black" stroke-width="1"&amp;gt; <a id='L34' name='L34'></a><a id='L20' name='L20'></a>&lt;a id='L6' name='L6'&gt;&lt;/a&gt; &amp;lt;rect x="30" y="60" width="30" height="30" /&amp;gt; <a id='L35' name='L35'></a><a id='L21' name='L21'></a>&lt;a id='L7' name='L7'&gt;&lt;/a&gt; &amp;lt;rect x="100" y="60" width="480" height="30" /&amp;gt; <a id='L36' name='L36'></a><a id='L22' name='L22'></a>&lt;a id='L8' name='L8'&gt;&lt;/a&gt; &amp;lt;line x1="130" y1="60" x2="130" y2="90" /&amp;gt; <a id='L37' name='L37'></a><a id='L23' name='L23'></a>&lt;a id='L9' name='L9'&gt;&lt;/a&gt; &amp;lt;line x1="160" y1="60" x2="160" y2="90" /&amp;gt; <a id='L38' name='L38'></a><a id='L24' name='L24'></a>&lt;a id='L10' name='L10'&gt;&lt;/a&gt; &amp;lt;line x1="190" y1="60" x2="190" y2="90" /&amp;gt; <a id='L39' name='L39'></a><a id='L25' name='L25'></a>&lt;a id='L11' name='L11'&gt;&lt;/a&gt; &amp;lt;line x1="220" y1="60" x2="220" y2="90" /&amp;gt; <a id='L40' name='L40'></a><a id='L26' name='L26'></a>&lt;a id='L12' name='L12'&gt;&lt;/a&gt; &amp;lt;line x1="250" y1="60" x2="250" y2="90" /&amp;gt; <a id='L41' name='L41'></a><a id='L27' name='L27'></a>&lt;a id='L13' name='L13'&gt;&lt;/a&gt; &amp;lt;line x1="280" y1="60" x2="280" y2="90" /&amp;gt; <a id='L42' name='L42'></a><a id='L28' name='L28'></a>&lt;a id='L14' name='L14'&gt;&lt;/a&gt; &amp;lt;line x1="310" y1="60" x2="310" y2="90" /&amp;gt; <a id='L43' name='L43'></a><a id='L29' name='L29'></a>&lt;a id='L15' name='L15'&gt;&lt;/a&gt; &amp;lt;line x1="340" y1="60" x2="340" y2="90" /&amp;gt; <a id='L44' name='L44'></a><a id='L30' name='L30'></a>&lt;a id='L16' name='L16'&gt;&lt;/a&gt; &amp;lt;line x1="370" y1="60" x2="370" y2="90" /&amp;gt; <a id='L45' name='L45'></a><a id='L31' name='L31'></a>&lt;a id='L17' name='L17'&gt;&lt;/a&gt; &amp;lt;line x1="400" y1="60" x2="400" y2="90" /&amp;gt; <a id='L46' name='L46'></a><a id='L32' name='L32'></a>&lt;a id='L18' name='L18'&gt;&lt;/a&gt; &amp;lt;line x1="430" y1="60" x2="430" y2="90" /&amp;gt; <a id='L47' name='L47'></a><a id='L33' name='L33'></a>&lt;a id='L19' name='L19'&gt;&lt;/a&gt; &amp;lt;line x1="460" y1="60" x2="460" y2="90" /&amp;gt; <a id='L48' name='L48'></a><a id='L34' name='L34'></a>&lt;a id='L20' name='L20'&gt;&lt;/a&gt; &amp;lt;line x1="490" y1="60" x2="490" y2="90" /&amp;gt; <a id='L49' name='L49'></a><a id='L35' name='L35'></a>&lt;a id='L21' name='L21'&gt;&lt;/a&gt; &amp;lt;line x1="520" y1="60" x2="520" y2="90" /&amp;gt; <a id='L50' name='L50'></a><a id='L36' name='L36'></a>&lt;a id='L22' name='L22'&gt;&lt;/a&gt; &amp;lt;line x1="550" y1="60" x2="550" y2="90" /&amp;gt; <a id='L51' name='L51'></a><a id='L37' name='L37'></a>&lt;a id='L23' name='L23'&gt;&lt;/a&gt; &amp;lt;/g&amp;gt; <a id='L52' name='L52'></a><a id='L38' name='L38'></a>&lt;a id='L24' name='L24'&gt;&lt;/a&gt; &amp;lt;g&amp;gt; <a id='L53' name='L53'></a><a id='L39' name='L39'></a>&lt;a id='L25' name='L25'&gt;&lt;/a&gt; &amp;lt;g fill="none" stroke="black" stroke-width="2"&amp;gt; <a id='L54' name='L54'></a><a id='L40' name='L40'></a>&lt;a id='L26' name='L26'&gt;&lt;/a&gt; &amp;lt;path d="M115,75 L60,75" /&amp;gt; <a id='L55' name='L55'></a><a id='L41' name='L41'></a>&lt;a id='L27' name='L27'&gt;&lt;/a&gt; &amp;lt;path d="M70,70 L60,75 L70,80" /&amp;gt; <a id='L56' name='L56'></a><a id='L42' name='L42'></a>&lt;a id='L28' name='L28'&gt;&lt;/a&gt; &amp;lt;line x1="130" y1="75" x2="565" y2="75" stroke-dasharray="5" /&amp;gt; <a id='L57' name='L57'></a><a id='L43' name='L43'></a>&lt;a id='L29' name='L29'&gt;&lt;/a&gt; &amp;lt;path d="M140,70 L130,75 L140,80" /&amp;gt; <a id='L58' name='L58'></a><a id='L44' name='L44'></a>&lt;a id='L30' name='L30'&gt;&lt;/a&gt; &amp;lt;path d="M590,70 L580,75 L590,80" /&amp;gt; <a id='L59' name='L59'></a><a id='L45' name='L45'></a>&lt;a id='L31' name='L31'&gt;&lt;/a&gt; &amp;lt;line x1="580" y1="75" x2="620" y2="75" /&amp;gt; <a id='L60' name='L60'></a><a id='L46' name='L46'></a>&lt;a id='L32' name='L32'&gt;&lt;/a&gt; &amp;lt;/g&amp;gt; <a id='L61' name='L61'></a><a id='L47' name='L47'></a>&lt;a id='L33' name='L33'&gt;&lt;/a&gt; &amp;lt;circle cx="115" cy="75" r="5" fill="black" /&amp;gt; <a id='L62' name='L62'></a><a id='L48' name='L48'></a>&lt;a id='L34' name='L34'&gt;&lt;/a&gt; &amp;lt;circle cx="620" cy="75" r="5" fill="black" /&amp;gt; <a id='L63' name='L63'></a><a id='L49' name='L49'></a>&lt;a id='L35' name='L35'&gt;&lt;/a&gt; &amp;lt;text x="625" y="80" font-family="monospace" font-size="10pt" fill="black"&amp;gt;0&amp;lt;/text&amp;gt; <a id='L64' name='L64'></a><a id='L50' name='L50'></a>&lt;a id='L36' name='L36'&gt;&lt;/a&gt; &amp;lt;/g&amp;gt; <a id='L65' name='L65'></a><a id='L51' name='L51'></a>&lt;a id='L37' name='L37'&gt;&lt;/a&gt; &amp;lt;g font-family="monospace" font-size="10pt" fill="black" text-anchor="middle"&amp;gt; <a id='L66' name='L66'></a><a id='L52' name='L52'></a>&lt;a id='L38' name='L38'&gt;&lt;/a&gt; &amp;lt;text x="45" y="55"&amp;gt;OF&amp;lt;/text&amp;gt; <a id='L67' name='L67'></a><a id='L53' name='L53'></a>&lt;a id='L39' name='L39'&gt;&lt;/a&gt; &amp;lt;text x="115" y="55"&amp;gt;15&amp;lt;/text&amp;gt; <a id='L68' name='L68'></a><a id='L54' name='L54'></a>&lt;a id='L40' name='L40'&gt;&lt;/a&gt; &amp;lt;text x="145" y="55"&amp;gt;14&amp;lt;/text&amp;gt; <a id='L69' name='L69'></a><a id='L55' name='L55'></a>&lt;a id='L41' name='L41'&gt;&lt;/a&gt; &amp;lt;text x="175" y="55"&amp;gt;13&amp;lt;/text&amp;gt; <a id='L70' name='L70'></a><a id='L56' name='L56'></a>&lt;a id='L42' name='L42'&gt;&lt;/a&gt; &amp;lt;text x="205" y="55"&amp;gt;12&amp;lt;/text&amp;gt; <a id='L71' name='L71'></a><a id='L57' name='L57'></a>&lt;a id='L43' name='L43'&gt;&lt;/a&gt; &amp;lt;text x="235" y="55"&amp;gt;11&amp;lt;/text&amp;gt; <a id='L72' name='L72'></a><a id='L58' name='L58'></a>&lt;a id='L44' name='L44'&gt;&lt;/a&gt; &amp;lt;text x="265" y="55"&amp;gt;10&amp;lt;/text&amp;gt; <a id='L73' name='L73'></a><a id='L59' name='L59'></a>&lt;a id='L45' name='L45'&gt;&lt;/a&gt; &amp;lt;text x="295" y="55"&amp;gt;9&amp;lt;/text&amp;gt; <a id='L74' name='L74'></a><a id='L60' name='L60'></a>&lt;a id='L46' name='L46'&gt;&lt;/a&gt; &amp;lt;text x="325" y="55"&amp;gt;8&amp;lt;/text&amp;gt; <a id='L75' name='L75'></a><a id='L61' name='L61'></a>&lt;a id='L47' name='L47'&gt;&lt;/a&gt; &amp;lt;text x="355" y="55"&amp;gt;7&amp;lt;/text&amp;gt; <a id='L76' name='L76'></a><a id='L62' name='L62'></a>&lt;a id='L48' name='L48'&gt;&lt;/a&gt; &amp;lt;text x="385" y="55"&amp;gt;6&amp;lt;/text&amp;gt; <a id='L77' name='L77'></a><a id='L63' name='L63'></a>&lt;a id='L49' name='L49'&gt;&lt;/a&gt; &amp;lt;text x="415" y="55"&amp;gt;5&amp;lt;/text&amp;gt; <a id='L78' name='L78'></a><a id='L64' name='L64'></a>&lt;a id='L50' name='L50'&gt;&lt;/a&gt; &amp;lt;text x="445" y="55"&amp;gt;4&amp;lt;/text&amp;gt; <a id='L79' name='L79'></a><a id='L65' name='L65'></a>&lt;a id='L51' name='L51'&gt;&lt;/a&gt; &amp;lt;text x="475" y="55"&amp;gt;3&amp;lt;/text&amp;gt; <a id='L80' name='L80'></a><a id='L66' name='L66'></a>&lt;a id='L52' name='L52'&gt;&lt;/a&gt; &amp;lt;text x="505" y="55"&amp;gt;2&amp;lt;/text&amp;gt; <a id='L81' name='L81'></a><a id='L67' name='L67'></a>&lt;a id='L53' name='L53'&gt;&lt;/a&gt; &amp;lt;text x="535" y="55"&amp;gt;1&amp;lt;/text&amp;gt; <a id='L82' name='L82'></a><a id='L68' name='L68'></a>&lt;a id='L54' name='L54'&gt;&lt;/a&gt; &amp;lt;text x="565" y="55"&amp;gt;0&amp;lt;/text&amp;gt; <a id='L83' name='L83'></a><a id='L69' name='L69'></a>&lt;a id='L55' name='L55'&gt;&lt;/a&gt; &amp;lt;/g&amp;gt; <a id='L84' name='L84'></a><a id='L70' name='L70'></a>&lt;a id='L56' name='L56'&gt;&lt;/a&gt; &amp;lt;/g&amp;gt; <a id='L85' name='L85'></a><a id='L71' name='L71'></a>&lt;a id='L57' name='L57'&gt;&lt;/a&gt;&amp;lt;/svg&amp;gt; <a id='L86' name='L86'></a><a id='L72' name='L72'></a>&lt;/pre&gt; <a id='L87' name='L87'></a><a id='L73' name='L73'></a>&lt;hr /&gt; <a id='L88' name='L88'></a><a id='L74' name='L74'></a>&lt;a id='BOTTOM' name='BOTTOM'&gt;&lt;/a&gt; <a id='L89' name='L89'></a><a id='L75' name='L75'></a>&lt;em class='comment'&gt;/* [&amp;lt;][&amp;gt;][^][v]&lt;a href='#TOP'&gt;[top]&lt;/a&gt;[bottom]&lt;a href='../mains.html'&gt;[index]&lt;/a&gt;&lt;a href='../help.html'&gt;[help]&lt;/a&gt; */&lt;/em&gt; <a id='L90' name='L90'></a><a id='L76' name='L76'></a>&lt;/body&gt; <a id='L91' name='L91'></a><a id='L77' name='L77'></a>&lt;/html&gt; <a id='L92' name='L92'></a></pre> <a id='L93' name='L93'></a><hr /> <a id='L94' name='L94'></a><a id='BOTTOM' name='BOTTOM'></a> <a id='L95' name='L95'></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='L96' name='L96'></a></body> <a id='L97' name='L97'></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>