<span class="FloatNumber">0.0</span><span class="Other">)</span><span class="Other">;</span> <span class="Identifier">flip</span><span class="Other">:</span> <a href="types.html#Flip"><span class="Identifier">Flip</span></a> <span class="Other">=</span> <a href="types.html#Flip"><span class="Identifier">Flip</span></a><span class="Other">.</span><span class="Identifier">none</span><span class="Other">;</span>
           <span class="Identifier">region</span><span class="Other">:</span> <span class="Identifi