-->
 <span style="color: #7060A8;">requires<span style="color: #0000FF;">(<span style="color: #008000;">"0.8.2"<span style="color: #0000FF;">)</span>           <span style="color: #000080;font-style:italic;">-- crashes on 0.8.1 and earlier </span>
 <span style="color: #7060A8;">requires<span style="color: #0000FF;">(<span style="color: #000000;">WINDOWS<span style="color: #0000FF;">)</span>           <span style="color: #000080;font-style:italic;">-- crashes on Linux </span>
 <span style="color: #7060A8;">requires<span style="color: #0000FF;">(<span style="color: #000000;">64<span style="color: #0000FF;">)</span>                <span style="color: #000080;font-style:italic;">-- crashes on 32-bit
<!--