an style="font: 11.0px Menlo; font-variant-ligatures: no-common-ligatures">;<br/>
   </span></div>
<div><span style="font-size: 11px;"><span style="font-family: Menlo;"><span style="font: 11.0px Menlo; font-variant-ligatures: no-common-ligatures"><span style="color: rgb(2, 161, 243);">auto</span> z =</span> <span style="font: 11.0px Menlo; font-variant-ligatures: no-common-ligatures; color: #f32300">1.0</span> <span style="font: 11.0px Menlo; font-variant-ligatures: no-common-ligatures">+</span> <span st