Comments serve as program documentation. There are two forms:
</p>

<ol>
<li>
<i>Line comments</i> start with the character sequence <code>//</code>
and stop at the end of the line.
</li>
<li>
<i>General comments</i> start with the character sequence <code>/*</code>
and stop with the first subsequent character sequence <code>*/</code>.
</li>
</ol>

<p>

Comments serve as program documentation. There are two forms:
</p>

<ol>
<li>
<i>Line comments</i> start with the character sequence <code>//</code>
and stop at the end of the line.
</li>
<li>
<i>General comments</i> start with the character sequence <code>/*</code>
and stop with the first subsequent character sequence <code>*/</code>.
</li>
</ol>

<p>

<i>W</i>(<i>r</i>) must be a write <i>w</i> that is <i>visible</i> to <i>r</i>,
where visible means that both of the following hold:
</p>

<ol>
	<li><i>w</i> happens before <i>r</i>.</li>
	<li><i>w</i> does not happen before any other write <i>w'</i> (to <i>x</i>) that happens before <i>r</i>.</li>
</ol>

<p>
A <i>read-write data race</i> on memory location <i>x</i>
consists of a read-like memory operation <i>r</i> on <i>x</i>

pkg unicode, var Nl *RangeTable
pkg unicode, var No *RangeTable
pkg unicode, var Noncharacter_Code_Point *RangeTable
pkg unicode, var Number *RangeTable
pkg unicode, var Ogham *RangeTable
pkg unicode, var Ol_Chiki *RangeTable
pkg unicode, var Old_Italic *RangeTable
pkg unicode, var Old_Persian *RangeTable
pkg unicode, var Old_South_Arabian *RangeTable
pkg unicode, var Old_Turkic *RangeTable