<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">

<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <meta content="text/html; charset=UTF-8" http-equiv="Content-Type" />
    <title></title>
  </head>

  <body>
    <p style="margin: 0px;"><span></span></p>

    <p style="margin: 0px;">hi Jean-Marc,<br />
    <br />
    <br />
    the memory after the allocated space is definitely destroyed. It took me some<br />
    time to find out why. I expected local arrays to be allocated on stack, not on<br />
    the heap. The function get_required_bits allocates a local array uint32[] which<br />
    will be located on heap right after the array fromcompute_pulse_cache(), what<br />
    made me think it was written behind its end.<br />
    <br />
    <br />
    I am sorry for the panic !<br />
    <br />
    &#160;<br />
    best regards,<br />
    Marko.</p>
  </body>
</html>