<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small;color:rgb(0,0,0)">More info on the VM problem: it disappears when compiled with -O1. Sounds like it may be some undefined behavior, which may have been fixed in the mean time?</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small;color:rgb(0,0,0)"><br></div><div class="gmail_default"><font color="#000000" face="arial, helvetica, sans-serif"><a href="https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=862576">https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=862576</a></font><br></div><div class="gmail_default"><font color="#000000" face="arial, helvetica, sans-serif"><br></font></div><div class="gmail_default"><font color="#000000" face="arial, helvetica, sans-serif">- Bert -</font></div></div>